Hierarchy For Package orbital.logic.trs

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • orbital.logic.trs.Substitutions

Interface Hierarchy

• orbital.logic.functor.Functor
  • orbital.logic.functor.Function
    • orbital.logic.trs.Substitution
• orbital.logic.trs.Substitution.Matcher
• orbital.logic.trs.Variable