Ensure intended operator precedence

tautschnig · tautschnig · commit 0cf097290f71 · 2016-12-23T15:25:24.000+01:00
G++-5 warned: "suggest parentheses around operand of ‘!’ or change ‘&amp;’
to ‘&amp;&amp;’ or ‘!’ to ‘~’"
diff --git a/src/solvers/miniBDD/miniBDD.cpp b/src/solvers/miniBDD/miniBDD.cpp
@@ -408,7 +408,7 @@ BDD substitute(const BDD &t, unsigned var, const BDD &tp)
   //  (!tp & t[var/0])
 
   return ( tp & restrict(t, var, true)) |
-         (!tp & restrict(t, var, false));
+         ((!tp) & restrict(t, var, false));
 }
 
 void cubes(const BDD &u, const std::string &path, std::string &result)

Original file line number	Diff line number	Diff line change
`@@ -408,7 +408,7 @@ BDD substitute(const BDD &t, unsigned var, const BDD &tp)`
`408`	`408`	`// (!tp & t[var/0])`
`409`	`409`
`410`	`410`	`return ( tp & restrict(t, var, true)) \|`
`411`		`- (!tp & restrict(t, var, false));`
	`411`	`+ ((!tp) & restrict(t, var, false));`
`412`	`412`	`}`
`413`	`413`
`414`	`414`	`void cubes(const BDD &u, const std::string &path, std::string &result)`