Module biodivine_sketchbook::sketchbook::model::_binary_op

source ·
Expand description

(internal) Definition and utility methods for BinaryOp.

Enums§

  • BinaryOp
    Enum for all possible Boolean binary operators occurring in update functions or first-order formulas (for static properties).