Hierarchy For Package FAtiMA.Core.wellFormedNames

Package Hierarchies:

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