Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_formula

source ยท 
pub fn eval_formula(
    formula: &str,
    graph: &SymbolicAsyncGraph,
    base_var_name: &str,
) -> Result<GraphColoredVertices, String>
Expand description

Evaluate given formula a given transition graph. The graph MUST support enough sets of symbolic variables to represent all occurring FO vars. Return the resulting set of colored vertices.

Argument base_var_name is for the BN var which was used as a base for extra variables.