Struct RewriteSystem 

pub struct RewriteSystem<T: Clone + Eq> {
    pub rules: Vec<RewriteRule<T>>,
    pub strategy: RewriteStrategy,
}

A term rewriting system with a collection of rules and a reduction strategy.

Fields

rules: Vec<RewriteRule<T>>

The set of rewrite rules.

strategy: RewriteStrategy

The reduction strategy to use.

Implementations

impl<T: Clone + Eq> RewriteSystem<T>

pub fn new(strategy: RewriteStrategy) -> Self

Creates a new rewrite system with the given strategy.

pub fn add_rule(&mut self, rule: RewriteRule<T>)

Adds a rule to the system.

Trait Implementations

impl<T: Clone + Clone + Eq> Clone for RewriteSystem<T>

fn clone(&self) -> RewriteSystem<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Clone + Eq> Debug for RewriteSystem<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.