Enum cop::term::Term[−][src]

pub enum Term<C, V> {
    C(C, Args<C, V>),
    V(V),
}

Variants

C(C, Args<C, V>)
V(V)

Implementations

impl<C, V> Term<C, V>[src]

pub fn map_constants<D>(self, f: &mut impl FnMut(C) -> D) -> Term<D, V>[src]

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

pub fn constants(&self) -> Box<dyn Iterator<Item = (&C, Arity)>>[src]

impl<C, V: Ord> Term<C, V>[src]

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

impl<C: Clone, V: Clone + Eq + Hash> Term<C, V>[src]

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

impl<C, V: Eq + Hash> Term<C, V>[src]

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

impl<C: Eq, V> Term<C, V>[src]

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

Notable traits for Vec<u8, A>

impl<A> Write for Vec<u8, A> where
    A: Allocator, 
[src]

Corresponds to leanCoP’s collect_func.

impl<C: Fresh, V> Term<C, V>[src]

pub fn skolem(st: &mut C::State, args: Vec<V>) -> Self[src]

Trait Implementations

impl<C: Clone, V: Clone> Clone for Term<C, V>[src]

impl<C: Debug, V: Debug> Debug for Term<C, V>[src]

impl<C: Display, V: Display> Display for Term<C, V>[src]

impl<C: Eq, V: Eq> Eq for Term<C, V>[src]

impl<C: PartialEq, V: PartialEq> PartialEq<Term<C, V>> for Term<C, V>[src]

impl<C, V> StructuralEq for Term<C, V>[src]

impl<C, V> StructuralPartialEq for Term<C, V>[src]

Auto Trait Implementations

impl<C, V> RefUnwindSafe for Term<C, V> where
    C: RefUnwindSafe,
    V: RefUnwindSafe, 

impl<C, V> Send for Term<C, V> where
    C: Send,
    V: Send, 

impl<C, V> Sync for Term<C, V> where
    C: Sync,
    V: Sync, 

impl<C, V> Unpin for Term<C, V> where
    C: Unpin,
    V: Unpin, 

impl<C, V> UnwindSafe for Term<C, V> where
    C: UnwindSafe,
    V: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.