Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_variable

source ยท 
fn eval_variable(
    graph: &SymbolicAsyncGraph,
    var_name: &str,
) -> GraphColoredVertices
Expand description

Evaluate a variable term.