Programming, Binary Decision Diagrams, Computer Science, Boolean.
Operations The two main operations for building BDDs are: BUILD(t), which constructs a BDD using a given boolean function t APPLY(op, u1, u2), which combines two BDDs u1 and u2 using a boolean operator op, e.g. the and, or operators. Both operations make use of a function MK which inserts elements