Uses of Interface
orbital.logic.trs.Substitution

Packages that use Substitution

orbital.logic.trs	Provides a term rewrite system (TRS) mechanism with substitution and unification.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of Substitution in orbital.logic.trs

Fields in orbital.logic.trs declared as Substitution

static Substitution

Substitutions.id The identical substitution id=[].

Methods in orbital.logic.trs that return Substitution

static Substitution	Substitutions.compose(Substitution sigma, Substitution tau) compose two substitutions σ ∘ τ.
static Substitution	Substitutions.getInstance(java.util.Collection replacements) Create a new substitution.
static Substitution	Substitutions.getInstance(java.util.Collection replacements, boolean typeSafe) Create a new substitution.
static Substitution	Substitutions.unify(java.util.Collection T) Unifies terms and returns "the" most general unifier mgU.

Methods in orbital.logic.trs with parameters of type Substitution

static Substitution

Substitutions.compose(Substitution sigma, Substitution tau) compose two substitutions σ ∘ τ.

Uses of Substitution in orbital.moon.logic

Methods in orbital.moon.logic that return Substitution

static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax) Reads a term-rewrite system from a stream.
static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax, Function expressionTransformation) Reads a term-rewrite system from a stream.