RV: [Javabdd-devel] Appling filters to variable values

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

 

Thank for your answer John but you misunderstood me.

 

x.satOne() return a satisfying variable assignment in which x is true but I
need set the value of several variables.

 

Imagine I have 25 variables (a,b,c,d,e,f.) with relations (and , or , biimp)
between them.

I want a satisfying variable assignment where c,d,h, and k are true at the
same time.

 

If I use c.satOne() it just works for c.!

 

I would thank you any help.

 

Sincerely

 

Sergio

 

  _____  

De: John Whaley [mailto:joe...@gm...] 
Enviado el: lunes, 23 de enero de 2006 16:52
Para: Sergio
Asunto: Re: [Javabdd-devel] Appling filters to variable values

 

See the "satOne()" method.  It will do what you want.

-John

On 1/23/06, Sergio <ser...@ly...> wrote:

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