Function biodivine_sketchbook::algorithms::eval_static::processed_props::process_static_props

source ยท 
pub fn process_static_props(
    sketch: &Sketch,
    bn: &BooleanNetwork,
) -> Result<Vec<ProcessedStatProp>, String>
Expand description

Process static properties from a sketch, converting them into one of the supported ProcessedStatProp variants. Currently, all properties are encoded into FOL, but we might support some other preprocessing in future.