bdd
0.30.1
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagram
/
Variable
/
value
value
abstract
val
value
:
T
Content copied to clipboard
value
represents the boolean variable