Function biodivine_sketchbook::algorithms::eval_dynamic::processed_props::process_dynamic_props

source ยท 
pub fn process_dynamic_props(
    sketch: &Sketch,
) -> Result<Vec<ProcessedDynProp>, String>
Expand description

Process dynamic properties in a sketch, converting them into one of the supported ProcessedDynProp variants. That usually means encoding them into HCTL, or doing some other preprocessing.