List of all items

Structs

• algorithms::eval_dynamic::_attractors::itgr::BwdProcess
• algorithms::eval_dynamic::_attractors::itgr::ExtendedComponentProcess
• algorithms::eval_dynamic::_attractors::itgr::FwdProcess
• algorithms::eval_dynamic::_attractors::itgr::ReachableProcess
• algorithms::eval_dynamic::_attractors::itgr::Scheduler
• algorithms::eval_dynamic::processed_props::ProcessedAttrCount
• algorithms::eval_dynamic::processed_props::ProcessedHctlFormula
• algorithms::eval_dynamic::processed_props::ProcessedTrapSpace
• algorithms::eval_static::processed_props::ProcessedStatProp
• algorithms::fo_logic::fol_tree::FolTreeNode
• algorithms::fo_logic::operator_enums::FunctionSymbol
• app::AeonApp
• app::AeonError
• app::_aeon_app::AeonApp
• app::_aeon_error::AeonError
• app::event::Event
• app::event::SessionMessage
• app::event::StateChange
• app::event::UserAction
• app::event_wrappers::AeonAction
• app::event_wrappers::AeonMessage
• app::event_wrappers::AeonRefresh
• app::state::AppState
• app::state::AtomicState
• app::state::_state_app::AppState
• app::state::_state_atomic::AtomicState
• app::state::_undo_stack::UndoStack
• app::state::_undo_stack::UndoStackEntry
• app::state::editor::EditorSession
• app::state::editor::TabBarState
• app::state::editor::_state_editor_session::EditorSession
• app::state::editor::_state_tab_bar::TabBarState
• app::state::inference::InferenceSession
• app::state::inference::_state_inference_session::InferenceSession
• inference::inference_results::InferenceResults
• inference::inference_solver::FinishedInferenceSolver
• inference::inference_solver::InferenceSolver
• inference::inference_state::InferenceState
• inference::inference_status::InferenceStatusReport
• inference::sampling_data::SamplingData
• logging::LOGGING_ENABLED
• sketchbook::Sketch
• sketchbook::_sketch::Sketch
• sketchbook::data_structs::ChangeArgEssentialData
• sketchbook::data_structs::ChangeArgMonotoneData
• sketchbook::data_structs::ChangeIdData
• sketchbook::data_structs::DatasetData
• sketchbook::data_structs::DatasetMetaData
• sketchbook::data_structs::DynPropertyData
• sketchbook::data_structs::LayoutData
• sketchbook::data_structs::LayoutMetaData
• sketchbook::data_structs::LayoutNodeData
• sketchbook::data_structs::LayoutNodeDataPrototype
• sketchbook::data_structs::ModelData
• sketchbook::data_structs::ObservationData
• sketchbook::data_structs::RegulationData
• sketchbook::data_structs::SketchData
• sketchbook::data_structs::StatPropertyData
• sketchbook::data_structs::UninterpretedFnData
• sketchbook::data_structs::VariableData
• sketchbook::data_structs::VariableWithLayoutData
• sketchbook::data_structs::_dataset_data::DatasetData
• sketchbook::data_structs::_dataset_data::DatasetMetaData
• sketchbook::data_structs::_dynamic_prop_data::AttractorCountData
• sketchbook::data_structs::_dynamic_prop_data::DynPropertyData
• sketchbook::data_structs::_dynamic_prop_data::ExistsFixedPointData
• sketchbook::data_structs::_dynamic_prop_data::ExistsTrajectoryData
• sketchbook::data_structs::_dynamic_prop_data::ExistsTrapSpaceData
• sketchbook::data_structs::_dynamic_prop_data::GenericDynPropData
• sketchbook::data_structs::_dynamic_prop_data::HasAttractorData
• sketchbook::data_structs::_fn_arg_change_data::ChangeArgEssentialData
• sketchbook::data_structs::_fn_arg_change_data::ChangeArgMonotoneData
• sketchbook::data_structs::_id_change_data::ChangeIdData
• sketchbook::data_structs::_layout_data::LayoutData
• sketchbook::data_structs::_layout_data::LayoutMetaData
• sketchbook::data_structs::_layout_node_data::LayoutNodeData
• sketchbook::data_structs::_layout_node_data::LayoutNodeDataPrototype
• sketchbook::data_structs::_model_data::ModelData
• sketchbook::data_structs::_observation_data::ObservationData
• sketchbook::data_structs::_regulation_data::RegulationData
• sketchbook::data_structs::_sketch_data::SketchData
• sketchbook::data_structs::_static_prop_data::FnInputEssentialData
• sketchbook::data_structs::_static_prop_data::FnInputMonotonicData
• sketchbook::data_structs::_static_prop_data::GenericStatPropData
• sketchbook::data_structs::_static_prop_data::RegulationEssentialData
• sketchbook::data_structs::_static_prop_data::RegulationMonotonicData
• sketchbook::data_structs::_static_prop_data::StatPropertyData
• sketchbook::data_structs::_uninterpreted_fn_data::UninterpretedFnData
• sketchbook::data_structs::_variable_data::VariableData
• sketchbook::data_structs::_variable_data::VariableWithLayoutData
• sketchbook::ids::BaseId
• sketchbook::ids::DatasetId
• sketchbook::ids::DynPropertyId
• sketchbook::ids::ID_REGEX
• sketchbook::ids::LayoutId
• sketchbook::ids::ObservationId
• sketchbook::ids::StatPropertyId
• sketchbook::ids::UninterpretedFnId
• sketchbook::ids::VarId
• sketchbook::layout::Layout
• sketchbook::layout::LayoutNode
• sketchbook::layout::NodePosition
• sketchbook::layout::_layout::Layout
• sketchbook::layout::_node_layout::LayoutNode
• sketchbook::layout::_node_position::NodePosition
• sketchbook::model::FnArgument
• sketchbook::model::ModelState
• sketchbook::model::Regulation
• sketchbook::model::UninterpretedFn
• sketchbook::model::UpdateFn
• sketchbook::model::Variable
• sketchbook::model::_model_state::ModelState
• sketchbook::model::_regulation::REGULATION_REGEX
• sketchbook::model::_regulation::Regulation
• sketchbook::model::_uninterpreted_fn::UninterpretedFn
• sketchbook::model::_uninterpreted_fn_arg::FnArgument
• sketchbook::model::_update_function::UpdateFn
• sketchbook::model::_variable::Variable
• sketchbook::observations::Dataset
• sketchbook::observations::Observation
• sketchbook::observations::ObservationManager
• sketchbook::observations::_dataset::Dataset
• sketchbook::observations::_manager::ObservationManager
• sketchbook::observations::_observation::Observation
• sketchbook::properties::PropertyManager
• sketchbook::properties::_manager::PropertyManager
• sketchbook::properties::dynamic_props::AttractorCount
• sketchbook::properties::dynamic_props::DynProperty
• sketchbook::properties::dynamic_props::ExistsFixedPoint
• sketchbook::properties::dynamic_props::ExistsTrajectory
• sketchbook::properties::dynamic_props::ExistsTrapSpace
• sketchbook::properties::dynamic_props::GenericDynProp
• sketchbook::properties::dynamic_props::HasAttractor
• sketchbook::properties::dynamic_props::HctlFormula
• sketchbook::properties::dynamic_props::_dynamic_property::DynProperty
• sketchbook::properties::dynamic_props::_hctl_formula::HctlFormula
• sketchbook::properties::dynamic_props::_property_types::AttractorCount
• sketchbook::properties::dynamic_props::_property_types::ExistsFixedPoint
• sketchbook::properties::dynamic_props::_property_types::ExistsTrajectory
• sketchbook::properties::dynamic_props::_property_types::ExistsTrapSpace
• sketchbook::properties::dynamic_props::_property_types::GenericDynProp
• sketchbook::properties::dynamic_props::_property_types::HasAttractor
• sketchbook::properties::static_props::FirstOrderFormula
• sketchbook::properties::static_props::FnInputEssential
• sketchbook::properties::static_props::FnInputMonotonic
• sketchbook::properties::static_props::GenericStatProp
• sketchbook::properties::static_props::RegulationEssential
• sketchbook::properties::static_props::RegulationMonotonic
• sketchbook::properties::static_props::StatProperty
• sketchbook::properties::static_props::_first_order_formula::FirstOrderFormula
• sketchbook::properties::static_props::_property_types::FnInputEssential
• sketchbook::properties::static_props::_property_types::FnInputMonotonic
• sketchbook::properties::static_props::_property_types::GenericStatProp
• sketchbook::properties::static_props::_property_types::RegulationEssential
• sketchbook::properties::static_props::_property_types::RegulationMonotonic
• sketchbook::properties::static_props::_static_property::StatProperty

Enums

• algorithms::eval_dynamic::processed_props::DataEncodingType
• algorithms::eval_dynamic::processed_props::ProcessedDynProp
• algorithms::fo_logic::fol_tree::NodeType
• algorithms::fo_logic::operator_enums::Atom
• algorithms::fo_logic::operator_enums::Quantifier
• algorithms::fo_logic::operator_enums::UnaryOp
• algorithms::fo_logic::tokenizer::FolToken
• app::state::Consumed
• app::state::_consumed::Consumed
• inference::inference_status::InferenceStatus
• inference::inference_type::InferenceType
• sketchbook::data_structs::DynPropertyTypeData
• sketchbook::data_structs::StatPropertyTypeData
• sketchbook::data_structs::_dynamic_prop_data::DynPropertyTypeData
• sketchbook::data_structs::_static_prop_data::StatPropertyTypeData
• sketchbook::model::BinaryOp
• sketchbook::model::Essentiality
• sketchbook::model::FnTree
• sketchbook::model::Monotonicity
• sketchbook::model::_binary_op::BinaryOp
• sketchbook::model::_essentiality::Essentiality
• sketchbook::model::_function_tree::FnTree
• sketchbook::model::_monotonicity::Monotonicity
• sketchbook::observations::VarValue
• sketchbook::observations::_var_value::VarValue
• sketchbook::properties::dynamic_props::DynPropertyType
• sketchbook::properties::dynamic_props::SimpleDynPropertyType
• sketchbook::properties::dynamic_props::_property_types::DynPropertyType
• sketchbook::properties::dynamic_props::_property_types::SimpleDynPropertyType
• sketchbook::properties::static_props::SimpleStatPropertyType
• sketchbook::properties::static_props::StatPropertyType
• sketchbook::properties::static_props::_property_types::SimpleStatPropertyType
• sketchbook::properties::static_props::_property_types::StatPropertyType

Traits

• algorithms::eval_dynamic::_attractors::itgr::Process
• app::state::SessionHelper
• app::state::SessionState
• app::state::StackSession
• sketchbook::JsonSerde
• sketchbook::Manager

Macros

• debug
• error
• generate_property_enums
• info
• log
• sketchbook::ids::id_wrapper
• warning

Functions

• algorithms::eval_dynamic::_attractors::itgr::interleaved_transition_guided_reduction
• algorithms::eval_dynamic::_attractors::process_component
• algorithms::eval_dynamic::_attractors::saturated_reachability::reach_bwd
• algorithms::eval_dynamic::_attractors::saturated_reachability::reachability_step
• algorithms::eval_dynamic::_attractors::sort_colors_by_attr_num
• algorithms::eval_dynamic::_attractors::xie_beerel::xie_beerel_attractors
• algorithms::eval_dynamic::_trap_spaces::colors_where_essential_traps
• algorithms::eval_dynamic::_trap_spaces::colors_where_minimal_traps
• algorithms::eval_dynamic::_trap_spaces::compute_essential_trap_spaces
• algorithms::eval_dynamic::_trap_spaces::compute_minimal_trap_spaces
• algorithms::eval_dynamic::_trap_spaces::encode_obs_as_singleton_space
• algorithms::eval_dynamic::encode::encode_dataset_hctl_str
• algorithms::eval_dynamic::encode::encode_multiple_observations_str
• algorithms::eval_dynamic::encode::encode_observation_str
• algorithms::eval_dynamic::encode::mk_formula_attractor
• algorithms::eval_dynamic::encode::mk_formula_attractor_list
• algorithms::eval_dynamic::encode::mk_formula_attractor_specific
• algorithms::eval_dynamic::encode::mk_formula_exclusive_attractors
• algorithms::eval_dynamic::encode::mk_formula_exclusive_fixed_points
• algorithms::eval_dynamic::encode::mk_formula_fixed_point
• algorithms::eval_dynamic::encode::mk_formula_fixed_point_list
• algorithms::eval_dynamic::encode::mk_formula_fixed_point_specific
• algorithms::eval_dynamic::encode::mk_formula_forbid_other_attractors
• algorithms::eval_dynamic::encode::mk_formula_forbid_other_fixed_points
• algorithms::eval_dynamic::encode::mk_formula_reachability_chain
• algorithms::eval_dynamic::encode::mk_formula_reachability_pair
• algorithms::eval_dynamic::encode::mk_formula_trap_space
• algorithms::eval_dynamic::encode::mk_formula_trap_space_list
• algorithms::eval_dynamic::encode::try_encode_multiple_observations
• algorithms::eval_dynamic::encode::try_encode_observation
• algorithms::eval_dynamic::eval::eval_dyn_prop
• algorithms::eval_dynamic::eval::model_check_colors_universal
• algorithms::eval_dynamic::prepare_graph::get_hctl_extended_symbolic_graph
• algorithms::eval_dynamic::prepare_graph::get_ts_extended_symbolic_graph
• algorithms::eval_dynamic::prepare_graph::prepare_graph_for_dynamic_hctl
• algorithms::eval_dynamic::processed_props::process_dynamic_props
• algorithms::eval_static::encode::encode_essentiality
• algorithms::eval_static::encode::encode_monotonicity
• algorithms::eval_static::encode::encode_property_in_context
• algorithms::eval_static::encode::encode_regulation_essentiality
• algorithms::eval_static::encode::encode_regulation_monotonicity
• algorithms::eval_static::eval::eval_static_prop
• algorithms::eval_static::prepare_graph::get_fol_extended_symbolic_graph
• algorithms::eval_static::prepare_graph::prepare_graph_for_static_fol
• algorithms::eval_static::processed_props::process_static_props
• algorithms::fo_logic::eval_algorithm::eval_applied_uninterpred_function
• algorithms::fo_logic::eval_algorithm::eval_applied_update_function
• algorithms::fo_logic::eval_algorithm::eval_equiv
• algorithms::fo_logic::eval_algorithm::eval_exists
• algorithms::fo_logic::eval_algorithm::eval_forall
• algorithms::fo_logic::eval_algorithm::eval_imp
• algorithms::fo_logic::eval_algorithm::eval_neg
• algorithms::fo_logic::eval_algorithm::eval_node
• algorithms::fo_logic::eval_algorithm::eval_variable
• algorithms::fo_logic::eval_algorithm::eval_xor
• algorithms::fo_logic::eval_wrappers::eval_formula
• algorithms::fo_logic::eval_wrappers::eval_formula_dirty
• algorithms::fo_logic::eval_wrappers::eval_multiple_formulas
• algorithms::fo_logic::eval_wrappers::eval_multiple_formulas_dirty
• algorithms::fo_logic::eval_wrappers::eval_multiple_trees
• algorithms::fo_logic::eval_wrappers::eval_multiple_trees_dirty
• algorithms::fo_logic::eval_wrappers::eval_tree
• algorithms::fo_logic::eval_wrappers::eval_tree_dirty
• algorithms::fo_logic::eval_wrappers::parse_and_validate
• algorithms::fo_logic::parser::index_of_first
• algorithms::fo_logic::parser::index_of_first_quantifier
• algorithms::fo_logic::parser::index_of_first_unary
• algorithms::fo_logic::parser::is_quantifier
• algorithms::fo_logic::parser::is_unary
• algorithms::fo_logic::parser::parse_1_quantifiers
• algorithms::fo_logic::parser::parse_2_iff
• algorithms::fo_logic::parser::parse_3_imp
• algorithms::fo_logic::parser::parse_4_or
• algorithms::fo_logic::parser::parse_5_xor
• algorithms::fo_logic::parser::parse_6_and
• algorithms::fo_logic::parser::parse_7_unary
• algorithms::fo_logic::parser::parse_8_terms_and_parentheses
• algorithms::fo_logic::parser::parse_and_minimize_fol_formula
• algorithms::fo_logic::parser::parse_fol_formula
• algorithms::fo_logic::parser::parse_fol_tokens
• algorithms::fo_logic::tokenizer::collect_fn_arguments
• algorithms::fo_logic::tokenizer::collect_name
• algorithms::fo_logic::tokenizer::collect_vars_from_operator
• algorithms::fo_logic::tokenizer::is_false_const
• algorithms::fo_logic::tokenizer::is_true_const
• algorithms::fo_logic::tokenizer::is_valid_in_name
• algorithms::fo_logic::tokenizer::is_valid_in_name_optional
• algorithms::fo_logic::tokenizer::print_tokens
• algorithms::fo_logic::tokenizer::print_tokens_recursively
• algorithms::fo_logic::tokenizer::resolve_term_name
• algorithms::fo_logic::tokenizer::skip_whitespaces
• algorithms::fo_logic::tokenizer::try_tokenize_formula
• algorithms::fo_logic::tokenizer::try_tokenize_recursive
• algorithms::fo_logic::utils::check_fn_symbol_support
• algorithms::fo_logic::utils::check_fol_var_support
• algorithms::fo_logic::utils::check_update_fn_support
• algorithms::fo_logic::utils::collect_unique_fn_symbols
• algorithms::fo_logic::utils::collect_unique_fn_symbols_recursive
• algorithms::fo_logic::utils::collect_unique_fol_vars
• algorithms::fo_logic::utils::collect_unique_fol_vars_recursive
• algorithms::fo_logic::utils::get_implicit_function_name
• algorithms::fo_logic::utils::get_var_base_and_offset
• algorithms::fo_logic::utils::get_var_from_implicit
• algorithms::fo_logic::utils::is_update_fn_symbol
• algorithms::fo_logic::utils::validate_and_rename_recursive
• algorithms::fo_logic::utils::validate_and_rename_vars
• inference::candidate_sampling::download_witnesses
• inference::candidate_sampling::pick_random_color
• inference::inference_solver::requires_candidate_num
• inference::results_export::export_results
• inference::results_export::get_update_fn_variants_from_solver
• inference::results_export::write_to_zip
• inference::update_fn_details::get_update_fn_variants
• inference::update_fn_details::num_update_fn_variants_per_var
• logging::disable_logging
• logging::is_logging_enabled
• sketchbook::_sketch::_impl_consistency::append_property_issue
• sketchbook::bn_utils::essentiality_from_bool
• sketchbook::bn_utils::essentiality_to_bool
• sketchbook::bn_utils::sign_from_monotonicity
• sketchbook::bn_utils::sign_to_monotonicity
• sketchbook::data_structs::_static_prop_data::input_id_to_index
• sketchbook::data_structs::_static_prop_data::input_index_to_id
• sketchbook::event_utils::make_refresh_event
• sketchbook::event_utils::make_reversible
• sketchbook::event_utils::make_state_change
• sketchbook::event_utils::mk_dyn_prop_event
• sketchbook::event_utils::mk_dyn_prop_state_change
• sketchbook::event_utils::mk_model_event
• sketchbook::event_utils::mk_model_state_change
• sketchbook::event_utils::mk_obs_event
• sketchbook::event_utils::mk_obs_state_change
• sketchbook::event_utils::mk_stat_prop_event
• sketchbook::event_utils::mk_stat_prop_state_change
• sketchbook::model::_function_tree::parse_update_fn_wrapper
• sketchbook::properties::dynamic_props::_hctl_formula::deserialize_tree
• sketchbook::properties::dynamic_props::_hctl_formula::parse_and_minimize_hctl_formula_wrapper
• sketchbook::properties::dynamic_props::_hctl_formula::parse_hctl_formula_wrapper
• sketchbook::properties::dynamic_props::_hctl_formula::serialize_tree
• sketchbook::properties::dynamic_props::_property_types::are_same_dyn_variant
• sketchbook::properties::dynamic_props::are_same_dyn_variant
• sketchbook::properties::shortcuts::mk_essentiality_prop
• sketchbook::properties::shortcuts::mk_fol_prop
• sketchbook::properties::shortcuts::mk_hctl_prop
• sketchbook::properties::shortcuts::mk_monotonicity_prop
• sketchbook::properties::static_props::_first_order_formula::deserialize_tree
• sketchbook::properties::static_props::_first_order_formula::serialize_tree
• sketchbook::properties::static_props::_property_types::are_same_stat_variant
• sketchbook::properties::static_props::are_same_stat_variant
• sketchbook::utils::_parse_map_keys
• sketchbook::utils::_stringify_and_order_keys
• sketchbook::utils::assert_ids_unique
• sketchbook::utils::assert_name_valid

Type Aliases

• app::DynError
• app::state::DynSession
• app::state::DynSessionState
• sketchbook::layout::LayoutNodeIterator
• sketchbook::model::LayoutIterator
• sketchbook::model::RegulationIterator
• sketchbook::model::UninterpretedFnIterator
• sketchbook::model::UpdateFnIterator
• sketchbook::model::VariableIterator
• sketchbook::observations::DatasetIterator
• sketchbook::properties::DynPropIterator
• sketchbook::properties::StatPropIterator

Constants

• app::AEON_ACTION
• app::AEON_MESSAGE
• app::AEON_REFRESH
• app::AEON_VALUE
• app::DEFAULT_SESSION_ID
• app::DEFAULT_WINDOW_ID
• app::state::_undo_stack::DEFAULT_EVENT_LIMIT
• app::state::_undo_stack::DEFAULT_PAYLOAD_LIMIT
• inference::update_fn_details::MAX_UPDATE_FN_COUNT
• logging::DEBUG
• logging::ERROR
• logging::INFO
• logging::WARNING
• sketchbook::_sketch::_impl_session_state::ASSERT_CONSISTENCY_PATH
• sketchbook::_sketch::_impl_session_state::CHECK_CONSISTENCY_PATH
• sketchbook::_sketch::_impl_session_state::EXPORT_AEON_PATH
• sketchbook::_sketch::_impl_session_state::EXPORT_SKETCH_PATH
• sketchbook::_sketch::_impl_session_state::GET_WHOLE_SKETCH_PATH
• sketchbook::_sketch::_impl_session_state::IMPORT_AEON_PATH
• sketchbook::_sketch::_impl_session_state::IMPORT_SBML_PATH
• sketchbook::_sketch::_impl_session_state::IMPORT_SKETCH_PATH
• sketchbook::_sketch::_impl_session_state::MODEL_PATH
• sketchbook::_sketch::_impl_session_state::NEW_SKETCH_PATH
• sketchbook::_sketch::_impl_session_state::OBSERVATIONS_PATH
• sketchbook::_sketch::_impl_session_state::PROPERTIES_PATH
• sketchbook::_sketch::_impl_session_state::SET_ANNOTATION_PATH
• sketchbook::ids::ID_REGEX_STR
• sketchbook::model::_model_state::_impl_observing::DEFAULT_LAYOUT_ID
• sketchbook::model::_model_state::_impl_session_state::FN_EVENT_PATH
• sketchbook::model::_model_state::_impl_session_state::LAYOUT_EVENT_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_FNS_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_LAYOUTS_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_LAYOUT_NODES_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_MODEL_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_REGULATIONS_PATH
• sketchbook::model::_model_state::_impl_session_state::REFRESH_VARS_PATH
• sketchbook::model::_model_state::_impl_session_state::REGULATION_EVENT_PATH
• sketchbook::model::_model_state::_impl_session_state::VAR_EVENT_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_layout::ADD_LAYOUT_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_layout::REMOVE_LAYOUT_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_layout::UPDATE_POSITION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::ADD_RAW_REGULATION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::ADD_REGULATION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::REMOVE_RAW_REGULATION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::REMOVE_REGULATION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::SET_ESSENTIALITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::SET_ESSENTIALITY_RAW_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::SET_SIGN_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_regulations::SET_SIGN_RAW_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::ADD_DEFAULT_FN_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::ADD_FN_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::DECREMENT_ARITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::INCREMENT_ARITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::REMOVE_FN_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_ARITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_DATA_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_ESSENTIALITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_EXPRESSION_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_ID_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_uninterpreted_fns::SET_MONOTONICITY_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::ADD_DEFAULT_VAR_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::ADD_RAW_VAR_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::ADD_VAR_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::REMOVE_VAR_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::SET_DATA_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::SET_ID_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::SET_ID_RAW_PATH
• sketchbook::model::_model_state::_impl_session_state::_events_variables::SET_UPDATE_FN_PATH
• sketchbook::model::_regulation::ID_REGEX_STR
• sketchbook::model::_regulation::REGULATION_ARROW_REGEX_STR
• sketchbook::observations::_dataset::_impl_events::REMOVE_OBSERVATION_PATH
• sketchbook::observations::_dataset::_impl_events::SET_OBSERVATION_DATA_PATH
• sketchbook::observations::_dataset::_impl_events::SET_OBSERVATION_ID_PATH
• sketchbook::observations::_manager::_impl_session_state::ADD_DATASET_PATH
• sketchbook::observations::_manager::_impl_session_state::ADD_DEFAULT_DATASET_PATH
• sketchbook::observations::_manager::_impl_session_state::ADD_VARIABLE_PATH
• sketchbook::observations::_manager::_impl_session_state::GET_ALL_DATASETS_PATH
• sketchbook::observations::_manager::_impl_session_state::GET_DATASET_PATH
• sketchbook::observations::_manager::_impl_session_state::GET_OBSERVATION_PATH
• sketchbook::observations::_manager::_impl_session_state::LOAD_DATASET_PATH
• sketchbook::observations::_manager::_impl_session_state::POP_OBS_PATH
• sketchbook::observations::_manager::_impl_session_state::PUSH_EMPTY_OBS_PATH
• sketchbook::observations::_manager::_impl_session_state::PUSH_OBS_PATH
• sketchbook::observations::_manager::_impl_session_state::REMOVE_DATASET_PATH
• sketchbook::observations::_manager::_impl_session_state::REMOVE_VARIABLE_PATH
• sketchbook::observations::_manager::_impl_session_state::SET_DATASET_CONTENT_PATH
• sketchbook::observations::_manager::_impl_session_state::SET_DATASET_ID_PATH
• sketchbook::observations::_manager::_impl_session_state::SET_DATASET_METADATA_PATH
• sketchbook::observations::_manager::_impl_session_state::SET_VARIABLE_ID_PATH
• sketchbook::properties::_manager::_impl_session_state::ADD_DEFAULT_PATH
• sketchbook::properties::_manager::_impl_session_state::ADD_PATH
• sketchbook::properties::_manager::_impl_session_state::DYNAMIC_PATH
• sketchbook::properties::_manager::_impl_session_state::GET_ALL_DYNAMIC_PATH
• sketchbook::properties::_manager::_impl_session_state::GET_ALL_STATIC_PATH
• sketchbook::properties::_manager::_impl_session_state::REMOVE_PATH
• sketchbook::properties::_manager::_impl_session_state::SET_CONTENT_PATH
• sketchbook::properties::_manager::_impl_session_state::SET_ID_PATH
• sketchbook::properties::_manager::_impl_session_state::SET_VAR_ID_EVERYWHERE_PATH
• sketchbook::properties::_manager::_impl_session_state::STATIC_PATH