Function biodivine_sketchbook::algorithms::eval_dynamic::encode::try_encode_observation

pub fn try_encode_observation(
    obs: &Observation,
    var_names: &[String],
) -> Result<HctlFormula, String>

Encode an observation by a (propositional) formula depicting the corresponding state/sub-space. The observation’s binary values are used to create a conjunction of literals. The var_names are used as propositions names in the formula.