Function biodivine_sketchbook::algorithms::eval_dynamic::_trap_spaces::encode_obs_as_singleton_space

source · 
fn encode_obs_as_singleton_space(
    observation: Observation,
    var_names: &[String],
    graph: &SymbolicAsyncGraph,
    ctx: &SymbolicSpaceContext,
) -> NetworkColoredSpaces
Expand description

Utility to encode observation as a singleton “NetworkColoredSpaces” instance, i.e., a singleton space with all the colors.