term_rewriting 0.7.0

A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

mod atom;
mod rule;
mod signature;
mod term;
mod trs;

pub use self::atom::*;
pub use self::rule::*;
pub use self::signature::*;
pub use self::term::*;
pub use self::trs::*;

/// Represents a place in a [`Term`].
///
/// [`Term`]: enum.Term.html
pub type Place = Vec<usize>;

/// A way of signifying what type of unification is being performed
#[derive(PartialEq, Eq)]
enum Unification {
    Match,
    Unify,
}