bdd
0.30.1
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagram
/
Terminal
/
truth
truth
abstract
val
truth
:
Boolean
Content copied to clipboard
Boolean value of the terminal