Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_tree

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

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