BinaryDecisionDiagramBuilder

interface BinaryDecisionDiagramBuilder<T : Comparable<T>>
Content copied to clipboard

This interfaces hides the strategy with which instances of BinaryDecisionDiagram are created. Platform-specific optimized representations of BDDs can be introduced by providing new implementations of this interface.

Business logic related to diagram reduction, or node re-usage, should be handled by this entity.

Author

Jason Dellaluce

Types

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

buildTerminal
Link copied to clipboard
abstract fun buildTerminal(truth: Boolean): BinaryDecisionDiagram<T>
Content copied to clipboard
Returns an instance of BinaryDecisionDiagram.Terminal with the provided input.
buildVariable
Link copied to clipboard
abstract fun buildVariable(value: T, low: BinaryDecisionDiagram<T>, high: BinaryDecisionDiagram<T>): BinaryDecisionDiagram<T>
Content copied to clipboard
Returns an instance of BinaryDecisionDiagram.Variable with the provided input.