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

fix typo

Browse Source
This commit is contained in:
Tiago Gomes 2012-12-10 19:37:41 +00:00
parent a25f4584c8
commit 8371e395dd
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/CLPBN/horus/LiftedWCNF.h
View File

@ -165,8 +165,11 @@ class LitLvTypes
if (types1.lid_ < types2.lid_) { if (types1.lid_ < types2.lid_) {
return true; return true;
} }
if (types1.lid_ == types2.lid_) {
return types1.lvTypes_ < types2.lvTypes_; return types1.lvTypes_ < types2.lvTypes_;
} }
return false;
}
}; };
LitLvTypes (LiteralId lid, const LogVarTypes& lvTypes) : LitLvTypes (LiteralId lid, const LogVarTypes& lvTypes) :