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

low

abstract val low: BinaryDecisionDiagram<T>

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