Correct argument type of cudd.bddVar

romainbrenguier · romainbrenguier · commit 52ba6c921e9e · 2019-03-11T07:19:39.000Z
The type of cudd.bddVar differs from cuddNodeReadIndex, so 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/narrow.h>
+
 class bdd_managert;
 class bddt;
 class bdd_nodet;
@@ -152,7 +154,7 @@ class bdd_managert
 
   bddt bdd_variable(bdd_nodet::indext index)
   {
-    return bddt(cudd.bddVar(index));
+    return bddt(cudd.bddVar(narrow_cast<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/narrow.h>`
	`21`	`+`
`20`	`22`	`class bdd_managert;`
`21`	`23`	`class bddt;`
`22`	`24`	`class bdd_nodet;`
`@@ -152,7 +154,7 @@ class bdd_managert`
`152`	`154`
`153`	`155`	`bddt bdd_variable(bdd_nodet::indext index)`
`154`	`156`	`{`
`155`		`- return bddt(cudd.bddVar(index));`
	`157`	`+ return bddt(cudd.bddVar(narrow_cast<int>(index)));`
`156`	`158`	`}`
`157`	`159`
`158`	`160`	`bdd_nodet bdd_node(const bddt &bdd) const`