BinaryDecisionDiagramVisitor

interface BinaryDecisionDiagramVisitor<T : Comparable<T>, E>
Content copied to clipboard

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

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

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