bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/Terminal

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

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. This is the method of preference for exploring the inner structure of the diagram.

Properties

Link copied to clipboard
open override val isTerminal: Boolean
Content copied to clipboard

Returns true if this node is a Terminal node.

Link copied to clipboard
open override val isVariable: Boolean
Content copied to clipboard

Returns true if this node is a Variable node.

Link copied to clipboard
abstract val truth: Boolean
Content copied to clipboard

Boolean value of the terminal