Crate rational_deduction

Rational Deduction Algorithm

Re-exports

pub use exprz;

pub use rule::Rule;

pub use substitution::Substitution;

Modules

rule	Rule Module
stored	Stored Objects Module
substitution	Substitution Module
util	Utilities

Enums

Expr	Canonical Concrete Expression Type
ExprRef	Internal Reference to an Expression Type

Constants

VERSION

Package Version

Traits

Container	Container Helper Trait
Expression	Expression Trait
Structure	Structure Trait