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

Trivial

This commit is contained in:
Tiago Gomes 2013-01-25 13:58:30 +00:00
parent 31bff4dc84
commit 0d9d59f5fe
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/CLPBN/horus/LiftedKc.cpp
View File

@ -953,8 +953,7 @@ LiftedCircuit::getAllPossibleTypes (unsigned nrLogVars) const
vector<LogVarTypes> res;
if (nrLogVars == 0) {
// do nothing
}
if (nrLogVars == 1) {
} else if (nrLogVars == 1) {
res.push_back ({ LogVarType::POS_LV });
res.push_back ({ LogVarType::NEG_LV });
} else {