Hierarchy For Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy (implements java.lang.Iterable<T>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.EqualityComparisonBuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NewFreshVariableFactory
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConjunctiveQuery
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.QueryFactory
  • java.lang.Record
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator