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

low

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

low the a BinaryDecisionDiagram that leads to a 0-terminal (a false terminal)