high

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

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