not

fun <T : Comparable<T>> BinaryDecisionDiagram<T>.not(): BinaryDecisionDiagram<T>

Performs the "Not" unary boolean operation over a BinaryDecisionDiagram. The result is a Reduced Ordered Binary Decision Diagram (ROBDD) representing the logical negation of the Boolean formula encoded by this diagram.

Return

the negated ROBDD.

Throws

it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramOperationException

if construction fails.