Trait modus_lib::unification::Substitute

pub trait Substitute<T> {
    type Output;
    fn substitute(&self, s: &Substitution<T>) -> Self::Output;
}

Associated Types

type Output

Required methods

fn substitute(&self, s: &Substitution<T>) -> Self::Output

Implementations on Foreign Types

impl Substitute<IRTerm> for Vec<LiteralWithHistory>

type Output = Vec<LiteralWithHistory>

fn substitute(&self, s: &Substitution<IRTerm>) -> Self::Output

impl Substitute<IRTerm> for Vec<Literal<IRTerm>>

type Output = Vec<Literal<IRTerm>>

fn substitute(&self, s: &Substitution<IRTerm>) -> Self::Output

Implementors

impl Substitute<IRTerm> for IRTerm

type Output = IRTerm

impl Substitute<IRTerm> for Clause<IRTerm>

type Output = Clause<IRTerm>

impl Substitute<IRTerm> for Literal<IRTerm>

type Output = Literal