diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Improve debbuging for lifted knowledge compilation

Browse Source
This commit is contained in:
Tiago Gomes 2012-11-26 14:46:45 +00:00
parent 1f1d194326
commit 610e55a4a2
2 changed files with 18 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
packages/CLPBN/horus/LiftedCircuit.cpp
View File

@ -170,13 +170,12 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
root_ = 0;
Clauses clauses = lwcnf->clauses();
compile (&root_, clauses);
exportToGraphViz("circuit.dot");
smoothCircuit (root_);
exportToGraphViz("circuit.smooth.dot");
cout << "--------------------------------------------------" << endl;
cout << "--------------------------------------------------" << endl;
double wmc = LogAware::exp (getWeightedModelCount());
cout << "WEIGHTED MODEL COUNT = " << wmc << endl;
if (Globals::verbosity > 1) {
smoothCircuit (root_);
exportToGraphViz("circuit.smooth.dot");
double wmc = LogAware::exp (getWeightedModelCount());
cout << "WEIGHTED MODEL COUNT: " << wmc << endl << endl;
}
}

22
packages/CLPBN/horus/LiftedWCNF.cpp
View File

@ -389,17 +389,17 @@ LiftedWCNF::LiftedWCNF (const ParfactorList& pfList)
freeLiteralId_ = 2;
*/
cout << "FORMULA INDICATORS:" << endl;
printFormulaIndicators();
cout << endl;
cout << "WEIGHTS:" << endl;
printWeights();
cout << endl;
cout << "CLAUSES:" << endl;
printClauses();
cout << endl;
if (Globals::verbosity > 1) {
cout << "FORMULA INDICATORS:" << endl;
printFormulaIndicators();
cout << endl;
cout << "WEIGHTED INDICATORS:" << endl;
printWeights();
cout << endl;
cout << "CLAUSES:" << endl;
printClauses();
cout << endl;
}
}