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

Reifies term for use with another signature See SignatureChange

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

Reifies context for use with another signature See SignatureChange

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

Reifies rule for use with another signature See SignatureChange

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

Reifies TRS for use with another signature See SignatureChange