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

high

abstract val high: BinaryDecisionDiagram<T>
Content copied to clipboard

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