[Javabdd-devel] Appling filters to variable values

[Sergio <ser...@ly...>]

Hi,

 

I am interested in setting values to variables after applying dependencies
to them. I will show what I mean with an example:

 

1.	Create variables

 

BDD x=B.ithVar(0);

BDD y=B.ithVar(1);

 ..

 

2.	Apply dependencies:

 

x.andWith(y);

 .

 

3.	Set some variables values to true or false and obtaining a
satisfying variable assignment with that restriction or filter

 

 

For instance, I would like to get a satisfying variable assignment in which
variables x, y, z, etc. is always true.

 

I have try with x=B.one() but it does not work.

 

Any help?

 

Sincerely,

 

Sergio