Struct term_rewriting::SignatureChange

pub struct SignatureChange { /* fields omitted */ }

Allows terms/rules/TRSs to be reified for use with another signature. See Signature::merge.

Methods

impl SignatureChange

pub fn reify_term(&self, term: Term) -> Term

pub fn reify_context(&self, context: Context) -> Context

pub fn reify_rule(&self, rule: Rule) -> Rule

pub fn reify_trs(&self, trs: TRS) -> TRS

Trait Implementations