bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/Variable

Variable

interface Variable<T : Comparable<T>> : BinaryDecisionDiagram<T>

A Variable is a BDD node representing a Boolean variable.

Functions

open override fun <E> accept(visitor: BinaryDecisionDiagramVisitor<T, E>): E

Accepts an instance of BinaryDecisionDiagramVisitor as for the visitor pattern. This is the method of preference for exploring the inner structure of the diagram.

Properties

high

abstract val high: BinaryDecisionDiagram<T>

high the a BinaryDecisionDiagram that leads to a 1-terminal (a true terminal)

isTerminal

open override val isTerminal: Boolean

Returns true if this node is a Terminal node.

isVariable

open override val isVariable: Boolean

Returns true if this node is a Variable node.

low

abstract val low: BinaryDecisionDiagram<T>

low the a BinaryDecisionDiagram that leads to a 0-terminal (a false terminal)

value

abstract val value: T

value represents the boolean variable