expansion
fun <T : Comparable<T>, E> BinaryDecisionDiagram<T>.expansion( falseTerminal: E, trueTerminal: E, operator: (node: T, low: E, high: E) -> E): E
Content copied to clipboard
Applies a given operation over a BinaryDecisionDiagram using the Shannon Expansion. The result is a reduction of a given diagram, determined by applying an operation recursively over a BDD with bottom-up order.