Module biodivine_lib_bdd::op_function

Contains simple functions that can be used with apply and fused_flip_apply to implement basic logical operations.

Functions

and

Partial operator function corresponding to $x \land y$.

and_not

Partial operator function corresponding to $x \land \neg y$.

iff

Partial operator function corresponding to $x \Leftrightarrow y$.

imp

Partial operator function corresponding to $x \Leftarrow y$.

or

Partial operator function corresponding to $x \lor y$.

xor

Partial operator function corresponding to $x \not\Leftrightarrow y$.