low

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

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