Enum Term 

pub enum Term<V, L, C> {
    Var(V),
    Lit(L),
    Cons(C, Vec<Term<V, L, C>>),
}

Variants

Var(V)

Lit(L)

Cons(C, Vec<Term<V, L, C>>)

Implementations

impl<V, L, C> Term<V, L, C>

pub fn is_var(&self) -> bool

pub fn is_lit(&self) -> bool

pub fn is_cons(&self) -> bool

pub fn height(&self) -> usize

pub fn size(&self) -> usize

impl<L: Copy, C: Copy> Term<Ident, L, C>

pub fn tag_ctx(&self, ctx: usize) -> Term<IdentCtx, L, C>

impl<V: Copy, L: Copy, C: Copy> Term<V, L, C>

pub fn to_atom(&self) -> Option<Term<V, L, Infallible>>

impl<V: Copy, L: Copy> Term<V, L, Infallible>

pub fn to_term<C>(&self) -> Term<V, L, C>

impl<V: Copy + Eq, L, C> Term<V, L, C>

pub fn occurs(&self, x: &V) -> bool

pub fn free_vars(&self) -> Vec<V>

impl<V: Copy + Eq + Hash, L: Copy, C: Copy> Term<V, L, C>

pub fn substitute(&self, map: &HashMap<V, Term<V, L, C>>) -> Term<V, L, C>

Trait Implementations

impl<V: Clone, L: Clone, C: Clone> Clone for Term<V, L, C>

fn clone(&self) -> Term<V, L, C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V: Debug, L: Debug, C: Debug> Debug for Term<V, L, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V: Display, L: Display, C: Display> Display for Term<V, L, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V: PartialEq, L: PartialEq, C: PartialEq> PartialEq for Term<V, L, C>

fn eq(&self, other: &Term<V, L, C>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<V, L, C> StructuralPartialEq for Term<V, L, C>