Module biodivine_sketchbook::sketchbook::model::_model_state
source ยท Expand description
(internal) Definition and utility methods for the manager class ModelState.
Modulesยง
- _impl_
convert_ ๐bn (internal) Methods for converting betweenModelStateandBooleanNetwork. - (internal) Methods for converting between
ModelStateandRegulatoryGraph. - _impl_
editing ๐(internal) Methods for safely constructing or editing instances ofModelState. - _impl_
id_ ๐generating (internal) Implementation of the safe identifier generating. - _impl_
observing ๐(internal) Methods for observing instances ofModelState(various getters, etc.). - _impl_
session_ ๐state (internal) Implementation of event-based API for the crate::app::state::SessionState trait.
Structsยง
- Object representing the state of the model in the Boolean network editor. The model encompasses variables, regulations, uninterpreted functions, update functions, and layout information.