bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagramBuilder

BinaryDecisionDiagramBuilder

interface BinaryDecisionDiagramBuilder<T : Comparable<T>>

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

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
abstract fun buildTerminal(truth: Boolean): BinaryDecisionDiagram<T>

Returns an instance of BinaryDecisionDiagram.Terminal with the provided input.

Link copied to clipboard
abstract fun buildVariable(value: T, low: BinaryDecisionDiagram<T>, high: BinaryDecisionDiagram<T>): BinaryDecisionDiagram<T>

Returns an instance of BinaryDecisionDiagram.Variable with the provided input.