Module biodivine_sketchbook::sketchbook::ids

Definitions and utilities for type-safe identifiers of various components.

Macros

• id_wrapper 🔒
  Macro to define various kinds of type-safe identifiers based on BaseId.

Structs

• BaseId
  (internal) A base class to derive type-safe identifiers from (using a macro below).
• DatasetId
  A type-safe (string-based) identifier of a Dataset inside a particular model.
• DynPropertyId
  A type-safe (string-based) identifier of a DynProperty inside a particular model.
• ID_REGEX 🔒
  A regular expression that matches the identifiers allowed.
• LayoutId
  A type-safe (string-based) identifier of a Layout inside a particular model.
• ObservationId
  A type-safe (string-based) identifier of a Observation inside a particular model.
• StatPropertyId
  A type-safe (string-based) identifier of a StatProperty inside a particular model.
• UninterpretedFnId
  A type-safe (string-based) identifier of a UninterpretedFn inside a particular model.
• VarId
  A type-safe (string-based) identifier of a Variable inside a particular model.

Constants

• ID_REGEX_STR 🔒
  (internal) A regex string of an identifier which we currently allow to appear.