and
infix fun <T : Comparable<T>> BinaryDecisionDiagram<T>.and(that: BinaryDecisionDiagram<T>): BinaryDecisionDiagram<T>
Performs the "And" binary boolean operation over two BinaryDecisionDiagrams. The result is a Reduced Ordered Binary Decision Diagram (ROBDD) representing the logical conjunction of the Boolean formulas encoded by the two diagrams.
Example (from :bdd's own test suite, modeling probabilistic clauses):
val solution = bddOf(someHeadsA) and bddOf(heads1)Content copied to clipboard
Return
the conjunction ROBDD.
Parameters
that
the other diagram to combine this one with.
Throws
if construction fails.