Function biodivine_sketchbook::algorithms::eval_static::eval::eval_static_prop

source ยท 
pub fn eval_static_prop(
    static_prop: ProcessedStatProp,
    graph: &SymbolicAsyncGraph,
    base_var_name: &str,
) -> Result<GraphColors, String>
Expand description

Evaluate given static property.

Currently, we assume that all types of template properties must be already translated to FOL generic properties.