Module biodivine_sketchbook::sketchbook::properties::_manager

(internal) Definition and methods for PropertyManager.

Modules

• _impl_id_generating 🔒
  (internal) Implementation of the safe identifier generating.
• _impl_manager 🔒
  (internal) Basic utility methods for PropertyManager.
• _impl_session_state 🔒
  (internal) Implementation of event-based API for the crate::app::state::SessionState trait.

Structs

• PropertyManager
  Class to manage all properties of the sketch.