Fix type of bddVar argument

romainbrenguier · romainbrenguier · commit 629c54825bed · 2019-03-08T09:20:17.000Z
The function bdd_variable takes a size_t while cudd.bddVar takes an int,
we need a conversion between the two.
diff --git a/src/solvers/bdd/bdd_cudd.h b/src/solvers/bdd/bdd_cudd.h
@@ -17,6 +17,8 @@ Author: Romain Brenguier, romain.brenguier@diffblue.com
 
 #include <cplusplus/cuddObj.hh>
 
+#include <util/arith_tools.h>
+
 class bdd_managert;
 class bddt;
 class bdd_nodet;
@@ -149,7 +151,7 @@ class bdd_managert
 
   bddt bdd_variable(std::size_t index)
   {
-    return bddt(cudd.bddVar(index));
+    return bddt(cudd.bddVar(numeric_cast_v<int>(index)));
   }
 
   bdd_nodet bdd_node(const bddt &bdd) const

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,8 @@ Author: Romain Brenguier, [email protected]`
`17`	`17`
`18`	`18`	`#include <cplusplus/cuddObj.hh>`
`19`	`19`
	`20`	`+#include <util/arith_tools.h>`
	`21`	`+`
`20`	`22`	`class bdd_managert;`
`21`	`23`	`class bddt;`
`22`	`24`	`class bdd_nodet;`
`@@ -149,7 +151,7 @@ class bdd_managert`
`149`	`151`
`150`	`152`	`bddt bdd_variable(std::size_t index)`
`151`	`153`	`{`
`152`		`- return bddt(cudd.bddVar(index));`
	`154`	`+ return bddt(cudd.bddVar(numeric_cast_v<int>(index)));`
`153`	`155`	`}`
`154`	`156`
`155`	`157`	`bdd_nodet bdd_node(const bddt &bdd) const`