Module biodivine_sketchbook::algorithms::eval_dynamic::processed_props

Processed variants of dynamic properties for evaluation.

Structs

• ProcessedAttrCount
  Property requiring that the number of attractors falls into the range <minimal, maximal>.
• ProcessedHctlFormula
  Property requiring that a particular HCTL formula is satisfied.
• ProcessedTrapSpace
  Property requiring that observations in a particular dataset are trap spaces. The trap space might be required to be minimal or non-percolable.

Enums

• DataEncodingType
  Enum of possible variants of data encodings via HCTL.
• ProcessedDynProp
  Enum for processed variants of dynamic properties.

Functions

• process_dynamic_props
  Process dynamic properties in a sketch, converting them into one of the supported ProcessedDynProp variants. That usually means encoding them into HCTL, or doing some other preprocessing.