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

isVariable

open override val isVariable: Boolean
Content copied to clipboard

Returns true if this node is a Variable node.