Struct term_rewriting::TRS

pub struct TRS { /* fields omitted */ }

A first-order term rewriting system.

Methods

impl TRS

pub fn new(rules: Vec<Rule>) -> TRS

Constructs a term rewriting system from a list of rules.

pub fn rewrite(&self, term: &Term) -> Option<Vec<Term>>

Perform a single rewrite step using a normal-order (leftmost-outermost) rewrite strategy.

Trait Implementations

impl Debug for TRS

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for TRS

fn eq(&self, __arg_0: &TRS) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &TRS) -> bool

This method tests for !=.