Binary
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
Functions
Link copied to clipboard
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>
Content copied to clipboard
Returns an instance of BinaryDecisionDiagram.Variable with the provided input.