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

smooth circuit

Browse Source 
Smooth the circuit independent of the verbosity level, but don't smooth it when the compilation has fail.
This commit is contained in:
Tiago Gomes 2012-12-10 19:39:09 +00:00
parent 8371e395dd
commit 1d732594e2
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -178,8 +178,10 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
compilationSucceeded_ = true; compilationSucceeded_ = true;
Clauses clauses = Clause::copyClauses (lwcnf->clauses()); Clauses clauses = Clause::copyClauses (lwcnf->clauses());
compile (&root_, clauses); compile (&root_, clauses);
if (Globals::verbosity > 1) { if (compilationSucceeded_) {
smoothCircuit (root_); smoothCircuit (root_);
}
if (Globals::verbosity > 1) {
exportToGraphViz("circuit.smooth.dot"); exportToGraphViz("circuit.smooth.dot");
if (compilationSucceeded_) { if (compilationSucceeded_) {
double wmc = LogAware::exp (getWeightedModelCount()); double wmc = LogAware::exp (getWeightedModelCount());