Struct Unifier 

pub struct Unifier<V, L, C> { /* private fields */ }

Implementations

impl<V: Eq + Hash + Clone, L, C> Unifier<V, L, C>

pub fn new() -> Unifier<V, L, C>

pub fn is_empty(&self) -> bool

pub fn reset(&mut self)

impl<V: Eq + Hash + Clone, L: PartialEq + Clone, C: Eq + Clone> Unifier<V, L, C>

pub fn deref<'a>(&'a self, term: &'a Term<V, L, C>) -> &'a Term<V, L, C>

pub fn subst_opt(&self, term: &Term<V, L, C>) -> Option<Term<V, L, C>>

pub fn subst(&self, term: &Term<V, L, C>) -> Term<V, L, C>

pub fn subst_err(&self, err: &UnifyError<V, L, C>) -> UnifyError<V, L, C>

pub fn fresh(&mut self, var: V)

pub fn unify( &mut self, lhs: &Term<V, L, C>, rhs: &Term<V, L, C>, ) -> Result<(), UnifyError<V, L, C>>

pub fn unify_many( &mut self, lhss: &[Term<V, L, C>], rhss: &[Term<V, L, C>], ) -> Result<(), UnifyError<V, L, C>>

Trait Implementations

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

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

Formats the value using the given formatter.

impl<V: Eq + Hash + Clone, L, C> Default for Unifier<V, L, C>

fn default() -> Self

Returns the “default value” for a type.