Trait smt2::Function

pub trait Function<E: Environment> {
    fn arity(&self, env: &E) -> (usize, usize);
}

SMT2-lib function.

Required methods

fn arity(&self, env: &E) -> (usize, usize)

Return the arity of the function. It is assumed that, for a given environment, the result of this function will always be the same.

Loading content...

Implementors

Loading content...