Verified Commit ad88b41b authored by Tim Gymnich's avatar Tim Gymnich
Browse files

fixed linear assignment

parent e813fd4d
......@@ -442,7 +442,7 @@ void NormalizedConjunction::linearAssignment(Value const* xi, int64_t a, Value c
validVariables.insert(xi);
// make sure xj exists
auto xjS = values.find(xj) != values.end() ? get(xj).x : nullptr;
auto xjS = values.find(xj) != values.end() ? get(xj).x : xj;
auto bS = values.find(xj) != values.end() ? get(xj).b : 0;
auto aS = values.find(xj) != values.end() ? get(xj).a : 1;
......
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