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 and 1

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)():