Correct argument type of cudd.bddVar

romainbrenguier · romainbrenguier · commit 8205c137e520 · 2019-03-08T21:46:40.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
@@ -152,7 +152,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
`@@ -152,7 +152,7 @@ class bdd_managert`
`152`	`152`
`153`	`153`	`bddt bdd_variable(bdd_nodet::indext index)`
`154`	`154`	`{`
`155`		`- return bddt(cudd.bddVar(index));`
	`155`	`+ return bddt(cudd.bddVar(narrow_cast<int>(index)));`
`156`	`156`	`}`
`157`	`157`
`158`	`158`	`bdd_nodet bdd_node(const bddt &bdd) const`