Variable

interface Variable<T : Comparable<T>> : BinaryDecisionDiagram<T>
Content copied to clipboard

A Variable is a BDD node representing a Boolean variable.

Functions

accept
Link copied to clipboard
open override fun <E> accept(visitor: BinaryDecisionDiagramVisitor<T, E>): E
Content copied to clipboard
Accepts an instance of BinaryDecisionDiagramVisitor as for the visitor pattern.

Properties

high
Link copied to clipboard
abstract val high: BinaryDecisionDiagram<T>
Content copied to clipboard
high the a BinaryDecisionDiagram that leads to a 1-terminal (a true terminal)
isTerminal
Link copied to clipboard
open override val isTerminal: Boolean
Content copied to clipboard
Returns true if this node is a Terminal node.
isVariable
Link copied to clipboard
open override val isVariable: Boolean
Content copied to clipboard
Returns true if this node is a Variable node.
low
Link copied to clipboard
abstract val low: BinaryDecisionDiagram<T>
Content copied to clipboard
low the a BinaryDecisionDiagram that leads to a 0-terminal (a false terminal)
value
Link copied to clipboard
abstract val value: T
Content copied to clipboard
value represents the boolean variable