prolog::mtbdd_new/3

mtbdd_new(? Exp, - BddHandle)*

create a new algebraic decision diagram (ADD) from the logical expression Exp. The expression may include:

  • Logical Variables: a leaf-node can be a logical variable, or parameter.

  • Number a leaf-node can also be any number

  • X * Y product

  • X + Y sum

  • X - Y subtraction

  • or( X, Y), X \/ Y logical or

Private-func:

1. prolog::mtbdd_new_3::mtbdd_new/3(int ARG1, int ARG2, int ARG3)():