apply
fun <T : Comparable<T>> BinaryDecisionDiagram<T>.apply(unaryOp: (Boolean) -> Boolean): BinaryDecisionDiagram<T>
Applies the "Apply" construction algorithm over BinaryDecisionDiagrams using a given boolean operator. The result is a Reduced Ordered Binary Decision Diagram (ROBDD).
fun <T : Comparable<T>> BinaryDecisionDiagram<T>.apply(that: BinaryDecisionDiagram<T>, binaryOp: (Boolean, Boolean) -> Boolean): BinaryDecisionDiagram<T>
Applies the "Apply" construction algorithm over two BinaryDecisionDiagrams using a given boolean operator. The result is a Reduced Ordered Binary Decision Diagram (ROBDD).