Module biodivine_sketchbook::sketchbook::properties

Classes and utility methods regarding properties.

Re-exports

• pub use dynamic_props::DynProperty;
• pub use dynamic_props::HctlFormula;
• pub use static_props::FirstOrderFormula;
• pub use static_props::StatProperty;

Modules

• _macros 🔒
• _manager 🔒
  (internal) Definition and methods for PropertyManager.
• dynamic_props
  Structs and utilities regarding dynamic properties.
• shortcuts
  Utilities and shortcuts for simpler property generating, mainly for tests.
• static_props
  Structs and utilities regarding static properties.

Structs

• PropertyManager
  Class to manage all properties of the sketch.

Type Aliases

• DynPropIterator
  An iterator over all <DynPropertyId, DynProperty> pairs of a PropertyManager.
• StatPropIterator
  An iterator over all <StatPropertyId, StatProperty> pairs of a PropertyManager.