Uses of Package
orbital.logic.trs

Packages that use orbital.logic.trs

orbital.logic.sign	Defines generic interfaces for formal languages.
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.

Classes in orbital.logic.trs used by orbital.logic.sign

Variable
Variable tagging interface.

Classes in orbital.logic.trs used by orbital.logic.trs

Substitution
Term substitution function.

Substitution.Matcher
Interface for matching and replacing elementary terms within a substitution.

Classes in orbital.logic.trs used by orbital.moon.logic

Substitution
Term substitution function.

Variable
Variable tagging interface.