Function biodivine_sketchbook::algorithms::fo_logic::utils::collect_unique_fn_symbols

source ยท 
pub fn collect_unique_fn_symbols(
    formula_tree: &FolTreeNode,
) -> Result<HashMap<String, usize>, String>
Expand description

Compute the set of all unique function symbols (with arities) in the formula tree.

If some function symbol is used with more than one arity, return error.