Type Definition cop::term::Args

type Args<C, V> = Args<Term<C, V>>;

Implementations

impl<C, V> Args<C, V>

pub fn new() -> Self

pub fn map_constants<D>(self, f: &mut impl FnMut(C) -> D) -> Args<D, V>

pub fn map_vars<W>(self, f: &mut impl FnMut(V) -> Term<C, W>) -> Args<C, W>

pub fn constants(&self) -> impl Iterator<Item = (&C, Arity)>

impl<C, V: Ord> Args<C, V>

pub fn max_var(&self) -> Option<&V>

impl<C: Clone, V: Clone + Eq + Hash> Args<C, V>

pub fn subst(self, sub: &HashMap<V, Term<C, V>>) -> Self

impl<C, V: Eq + Hash> Args<C, V>

pub fn fresh_vars<W>(
    self,
    map: &mut HashMap<V, W>,
    st: &mut W::State
) -> Args<C, W> where
    W: Clone + Fresh, 

impl<C: Eq, V> Args<C, V>

pub fn const_unique(&self) -> Vec<(&C, Arity)>