Module biodivine_sketchbook::sketchbook::properties::shortcuts

source ·
Expand description

Utilities and shortcuts for simpler property generating, mainly for tests.

Functions§

  • mk_essentiality_prop
    Shorthand to get a static property that describes essentiality of a regulation between regulator and target. Chosen name is generic and annotation is empty.
  • mk_fol_prop
    Shorthand to get a generic static property with FOL formula. Chosen name is generic and annotation is empty.
  • mk_hctl_prop
    Shorthand to get a generic dynamic property with HCTL formula. Chosen name is generic and annotation is empty.
  • mk_monotonicity_prop
    Shorthand to get a static property that describes monotonicity of a regulation between regulator and target. Chosen name is generic and annotation is empty.