Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_applied_uninterpred_function

source ยท 
fn eval_applied_uninterpred_function(
    graph: &SymbolicAsyncGraph,
    fn_name: &str,
    arguments: Vec<FolTreeNode>,
) -> GraphColoredVertices
Expand description

Evaluate uninterpreted function applied to given arguments.