bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagramVisitor

BinaryDecisionDiagramVisitor

interface BinaryDecisionDiagramVisitor<T : Comparable<T>, E>

Implements the Visitor pattern over a BinaryDecisionDiagram to its hierarchy, which only includes instances of BinaryDecisionDiagram.Terminal and BinaryDecisionDiagram.Variable. This abstraction is the method of choice to explore the internal structure of a BDD.

Author

Jason Dellaluce

Types

Link copied to clipboard
object Companion

Functions

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