Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_tree_dirty

source ยท 
pub fn eval_tree_dirty(
    formula_tree: FolTreeNode,
    graph: &SymbolicAsyncGraph,
) -> Result<GraphColoredVertices, String>
Expand description

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