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

visit

abstract fun visit(node: BinaryDecisionDiagram.Terminal<T>): E
Content copied to clipboard
abstract fun visit(node: BinaryDecisionDiagram.Variable<T>): E
Content copied to clipboard