orbital.logic.trs

Interfaces  Substitution Substitution.Matcher Variable

Classes  Substitutions