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

Lkc: use utility function

Browse Source
This commit is contained in:
Tiago Gomes 2012-12-12 21:19:22 +00:00
parent f2173d001e
commit 11e688ffd7
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -54,10 +54,7 @@ SetOrNode::weight (void) const
double
SetAndNode::weight (void) const
{
double w = follow_->weight();
return Globals::logDomain
? w * nrGroundings_
: std::pow (w, nrGroundings_);
return LogAware::pow (follow_->weight(), nrGroundings_);
}
@ -111,9 +108,7 @@ LeafNode::weight (void) const
nrGroundings *= std::pow (SetOrNode::nrNegatives(),
clause_->nrNegCountedLogVars());
}
return Globals::logDomain
? weight * nrGroundings
: std::pow (weight, nrGroundings);
return LogAware::pow (weight, nrGroundings);
}