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$.