bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagramVisitor/visit

visit

abstract fun visit(node: BinaryDecisionDiagram.Terminal<T>): E

Invoked by BinaryDecisionDiagram.accept when the visited node is a BinaryDecisionDiagram.Terminal.

Return

the visitor-specific result computed for node.

Parameters

node

the visited terminal node.

abstract fun visit(node: BinaryDecisionDiagram.Variable<T>): E

Invoked by BinaryDecisionDiagram.accept when the visited node is a BinaryDecisionDiagram.Variable.

Return

the visitor-specific result computed for node.

Parameters

node

the visited variable node.