variable
Creates a new BinaryDecisionDiagram from the given value
fun <E : Comparable<E>> variableOf( value: E, low: BinaryDecisionDiagram<E>, high: BinaryDecisionDiagram<E>): BinaryDecisionDiagram<E>
Content copied to clipboard
Creates a new Variable node from the given value and low-high nodes.