bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun <E : Comparable<E>> terminalOf(truth: Boolean): BinaryDecisionDiagram<E>
Content copied to clipboard

Creates a new Terminal node from the given boolean value.

Link copied to clipboard
fun <E : Comparable<E>> variableOf(value: E): BinaryDecisionDiagram<E>
Content copied to clipboard

Creates a new BinaryDecisionDiagram from the given value

fun <E : Comparable<E>> variableOf(    value: E,     low: BinaryDecisionDiagram<E>,     high: BinaryDecisionDiagram<E>): BinaryDecisionDiagram<E>
Content copied to clipboard

Creates a new Variable node from the given value and low-high nodes.