Hierarchy For Package FAtiMA.Core.wellFormedNames

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • FAtiMA.Core.wellFormedNames.Name (implements java.lang.Cloneable, FAtiMA.Core.wellFormedNames.IGroundable, java.io.Serializable)
    • FAtiMA.Core.wellFormedNames.ComposedName (implements java.io.Serializable)
    • FAtiMA.Core.wellFormedNames.Symbol (implements java.io.Serializable)
  • FAtiMA.Core.wellFormedNames.Substitution (implements java.lang.Cloneable, java.io.Serializable)
    • FAtiMA.Core.wellFormedNames.Inequality (implements FAtiMA.Core.wellFormedNames.IGroundable, java.io.Serializable)
  • FAtiMA.Core.wellFormedNames.SubstitutionSet (implements java.io.Serializable)
  • FAtiMA.Core.wellFormedNames.Unifier

Interface Hierarchy

• FAtiMA.Core.wellFormedNames.IGroundable