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

Lkc: show that we exported the circuit to graphviz when debugging

This commit is contained in:
Tiago Gomes 2012-12-13 14:21:16 +00:00
parent 48413deae7
commit 8b996c5dc9
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -177,11 +177,13 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
smoothCircuit (root_);
}
if (Globals::verbosity > 1) {
exportToGraphViz("circuit.smooth.dot");
if (compilationSucceeded_) {
double wmc = LogAware::exp (getWeightedModelCount());
cout << "WEIGHTED MODEL COUNT: " << wmc << endl << endl;
cout << "Weighted model count = " << wmc << endl << endl;
}
cout << "Exporting circuit to graphviz (circuit.dot)..." ;
cout << endl << endl;
exportToGraphViz ("circuit.dot");
}
}