Correct type of bdd_cuddt::indext

romainbrenguier · romainbrenguier · commit 871c551a6d76 · 2019-03-08T17:49:19.000Z
This was causing errors when compiling with clang -Werror -Wsign-conversion
diff --git a/src/solvers/bdd/bdd_cudd.h b/src/solvers/bdd/bdd_cudd.h
@@ -36,7 +36,7 @@ class bdd_nodet
   }
 
   /// Type of indexes of Boolean variables
-  using indext = int;
+  using indext = unsigned int;
 
   /// Label on the node, corresponds to the index of a Boolean variable
   indext index() const

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ class bdd_nodet`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`/// Type of indexes of Boolean variables`
`39`		`- using indext = int;`
	`39`	`+ using indext = unsigned int;`
`40`	`40`
`41`	`41`	`/// Label on the node, corresponds to the index of a Boolean variable`
`42`	`42`	`indext index() const`