Function biodivine_sketchbook::algorithms::fo_logic::utils::is_update_fn_symbol

pub fn is_update_fn_symbol(fn_symbol: &str) -> bool

Check if a given function symbol name corresponds to an (implicit) update function.

Note that function symbols can be either for (explicit) uninterpreted functions or for (implicit) update functions. The update function symbol for variable A must be in a form of “f_A”.

Always expects valid fn_symbol name on input.