Function biodivine_sketchbook::algorithms::eval_dynamic::encode::encode_observation_str

fn encode_observation_str(
    observation: &Observation,
    prop_names: &[String],
) -> Result<String, String>

Encode binarized observation with a formula depicting the corresponding state/sub-space. Using binarized values and proposition names, creates a conjunction of literals describing that observation.

00*1*1 would end up like !v1 & !v2 & v4 & v6