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