prolog::bdd_new/3¶
bdd_new(? Exp, - BddHandle)*
create a new BDD from the logical expression Exp. The expression may include:
- Logical Variables:
a leaf-node can be a logical variable.
0
and1
a leaf-node can also be bound to the two boolean constants.
or( _X_, _Y_)
,_X_ \/ _Y_
,_X_ + _Y_
disjunction
and( _X_, _Y_)
,_X_ /\ _Y_
,_X_ * _Y_
conjunction
nand( _X_, _Y_)
negated conjunction
nor( _X_, _Y_)
negated disjunction
xor( _X_, _Y_)
exclusive or
not( _X_)
, or-_X_
negation.
Private-func:¶
1. prolog::bdd_new_3::bdd_new/3(int ARG1, int ARG2, int ARG3)():