Function biodivine_sketchbook::algorithms::fo_logic::utils::check_fn_symbol_support

source ยท 
pub fn check_fn_symbol_support(
    ctx: &SymbolicContext,
    fn_name: &str,
    arity: usize,
) -> bool
Expand description

Check that symbolic context supports given function symbol (parameter) of given arity.