Companion
object Companion
Functions
Link copied to clipboard
Creates a new Terminal node from the given boolean value, using the BinaryDecisionDiagramBuilder.defaultOf builder. See also the bddTerminalOf shortcut function.
Link copied to clipboard
Creates a new BinaryDecisionDiagram from the given value, whose Variable.low is a false Terminal and whose Variable.high is a true Terminal. This represents the simplest possible Boolean formula: a single variable, with no further sub-structure. See also the bddOf shortcut function.
fun <E : Comparable<E>> variableOf(value: E, low: BinaryDecisionDiagram<E>, high: BinaryDecisionDiagram<E>): BinaryDecisionDiagram<E>
Creates a new Variable node from the given value and low/high sub-diagrams, using the BinaryDecisionDiagramBuilder.defaultOf builder (no reduction optimizations are applied).