buildVariable
abstract fun buildVariable(value: T, low: BinaryDecisionDiagram<T>, high: BinaryDecisionDiagram<T>): BinaryDecisionDiagram<T>
Returns an instance of BinaryDecisionDiagram.Variable with the provided input.
Return
a new BinaryDecisionDiagram.Variable node.