Trait Substitute

pub trait Substitute<T> {
    type Output;

    // Required method
    fn substitute(&self, s: &Substitution<T>) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

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

type Output = Vec<Literal>

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

impl Substitute<IRTerm> for Vec<LiteralWithHistory>

type Output = Vec<LiteralWithHistory>

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

impl Substitute<IRTerm> for Literal<IRTerm>

type Output = Literal