Function biodivine_sketchbook::algorithms::eval_dynamic::eval::eval_dyn_prop

source ยท 
pub fn eval_dyn_prop(
    dyn_prop: ProcessedDynProp,
    graph: &SymbolicAsyncGraph,
) -> Result<GraphColors, String>
Expand description

Evaluate given dynamic property given the symbolic transition graph.