Terminal

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

A Terminal is a BDD mode that has no edges to other BDDs, and represent a non-variable known Boolean value (either True or False)

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

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.
truth
Link copied to clipboard
abstract val truth: Boolean
Content copied to clipboard
Boolean value of the terminal