Commit cc40e92f authored by David Speck's avatar David Speck

fixed a bug i introduced while trying to fix cond effects :^)

parent 60029883
......@@ -215,20 +215,6 @@ void condEffVarsEdge(MEDDLY::forest *f, Operator &op, MEDDLY::dd_edge &res) {
if (op.get_pre_post()[i].cond.size() > 0) {
// We have a conditional effect:
int var = op.get_pre_post()[i].var;
int val = op.get_pre_post()[i].pre;
bool inconsistent = false;
for (int c = 0; c < op.get_pre_post()[i].cond.size(); c++) {
int var_c = op.get_pre_post()[i].cond[c].var;
int val_c = op.get_pre_post()[i].cond[c].prev;
if (var == var_c && val != val_c) {
inconsistent = true;
break;
}
}
if (inconsistent) {
continue;
}
if (cEffVars.find(var) == cEffVars.end()) {
cEffVars[var] = std::vector<PrePost>();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment