Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_node

source ยท 
pub fn eval_node(
    node: FolTreeNode,
    graph: &SymbolicAsyncGraph,
) -> GraphColoredVertices
Expand description

Recursively evaluate the sub-formula represented by a node (of a syntactic tree) on a given graph.