Module rational_deduction::substitution[−][src]

Substitution Module

Structs

Structure	Substitution Structure Type
StructureVecIter	Structure Vector Reference Iterator
Term	Substitution Term Type
TermRef	Substitution Term Reference Type

Enums

Directed	Directed Substitution
StructureError	Substitution Structure Error Type

Traits

Substitution Trait

Functions

from_iter	Performs substitution using data from an iterator.
from_iter_fn	Returns a function which performs substitution using data from an iterator.
from_iter_on_atoms	Performs a substitution using data from an iterator to an atomic expression.
from_iter_on_atoms_fn	Returns a function which performs substitution using data from an iterator to an atomic expression.
from_iter_on_atoms_ref	Performs a substitution by reference using data from an iterator to an atomic expression.
from_iter_on_atoms_ref_fn	Returns a function which performs substitution by reference using data from an iterator to an atomic expression.
from_iter_ref	Performs substitution by reference using data from an iterator.
from_iter_ref_fn	Returns a function which performs substitution by reference using data from an iterator.
generate	Tries to generate a substitution from two expressions.
generate_from_groups	Tries to generate a substitution from two grouped expressions.
get_expression	Returns the corresponding expression from the substitution iterator.

Type Definitions

Forward Substitution Boolean