orbital.logic.trs
Interfaces 
Substitution
Substitution.Matcher
Variable
Classes 
Substitutions