bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagramBuilder/buildTerminal

buildTerminal

abstract fun buildTerminal(truth: Boolean): BinaryDecisionDiagram<T>

Returns an instance of BinaryDecisionDiagram.Terminal with the provided input.

Return

a new BinaryDecisionDiagram.Terminal node.

Parameters

truth

the boolean value (true/false) of the terminal.