Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_formula_dirty

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

Evaluate given formula, but do not sanitize the result. The graph MUST support enough sets of symbolic variables to represent all occurring FO vars.

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