bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/isVariable

isVariable

abstract val isVariable: Boolean
Content copied to clipboard

Returns true if this node is a Variable node.