Module biodivine_sketchbook::sketchbook::properties::dynamic_props

source ·
Expand description

Structs and utilities regarding dynamic properties.

Modules§

Structs§

  • AttractorCount
    Variant of DynProperty requiring that the number of attractors falls into the range <minimal, maximal>.
  • DynProperty
    A typesafe representation wrapping various kinds of dynamic properties. Each property has a name and field variant encompassing inner data.
  • ExistsFixedPoint
    Variant of DynProperty requiring existence of a fixed point corresponding to a particular observation of a particular dataset.
  • ExistsTrajectory
    Variant of DynProperty requiring existence of a trajectory between observations of a particular dataset (in a given order).
  • ExistsTrapSpace
    Variant of DynProperty requiring existence of a trap space corresponding to a particular observation of a particular dataset. Optionally, the required trap space might be required to be minimal or non-percolable.
  • GenericDynProp
    Variant of DynProperty requiring that a particular HCTL formula is satisfied. The struct carries the user-provided raw_formula string, as well as its processed internal version processed_formula.
  • HasAttractor
    Variant of DynProperty requiring one of the following (depending on whether observation is specified or not):
  • HctlFormula
    A typesafe representation of a HCTL formula used in dynamic properties.

Enums§

  • DynPropertyType
    Enum covering all variants of dynamic properties and their necessary data.
  • SimpleDynPropertyType
    Enum covering all variants of dynamic properties (only discriminants, no data).

Functions§