Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_applied_update_function

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

Evaluate update function symbol applied to given arguments.