bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/Variable/accept

accept

open override fun <E> accept(visitor: BinaryDecisionDiagramVisitor<T, E>): E

Accepts an instance of BinaryDecisionDiagramVisitor as for the visitor pattern. This is the method of preference for exploring the inner structure of the diagram, since it distinguishes between Terminal and Variable nodes without runtime type checks by the caller.

Return

the result of the invoked visit method.

Parameters

visitor

the visitor whose visit overload matching this node's actual type (Terminal or Variable) will be invoked.