Hierarchy For Package orbital.moon.logic.resolution

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection (implements java.util.Collection)
    • java.util.AbstractSet (implements java.util.Set)
      • java.util.HashSet (implements java.lang.Cloneable, java.io.Serializable, java.util.Set)
        • java.util.LinkedHashSet (implements java.lang.Cloneable, java.io.Serializable, java.util.Set)
          • orbital.moon.logic.resolution.ClausalSetImpl (implements orbital.moon.logic.resolution.ClausalSet)
            • orbital.moon.logic.resolution.IndexedClausalSetImpl
          • orbital.moon.logic.resolution.ClauseImpl (implements orbital.moon.logic.resolution.Clause)
            • orbital.moon.logic.resolution.IndexedClauseImpl
              • orbital.moon.logic.resolution.OrderedClauseImpl
  • orbital.moon.logic.resolution.ClausalIndex
  • orbital.moon.logic.resolution.DefaultClausalFactory (implements orbital.moon.logic.resolution.ClausalFactory)
  • orbital.moon.logic.resolution.LiteralOrders
  • orbital.moon.logic.resolution.ResolutionBase (implements orbital.logic.imp.Inference)
    • orbital.moon.logic.resolution.SaturationResolution
    • orbital.moon.logic.resolution.SearchResolution
    • orbital.moon.logic.resolution.SetOfSupportResolution

Interface Hierarchy

• orbital.moon.logic.resolution.ClausalFactory
• java.lang.Iterable
  • java.util.Collection
    • java.util.Set
      • orbital.moon.logic.resolution.ClausalSet
      • orbital.moon.logic.resolution.Clause