Function biodivine_sketchbook::algorithms::eval_dynamic::encode::try_encode_multiple_observations

source ยท 
pub fn try_encode_multiple_observations(
    observations: &[Observation],
    var_names: &[String],
) -> Result<Vec<HctlFormula>, String>
Expand description

Encode each of the several observations, one by one. For details, see try_encode_observation.