Hierarchy For Package tools.refinery.store.reasoning.literal

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • tools.refinery.logic.literal.AbstractLiteral (implements tools.refinery.logic.literal.Literal)
    • tools.refinery.logic.literal.AbstractCallLiteral
      • tools.refinery.logic.literal.AbstractCountLiteral<T>
        • tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
        • tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
        • tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
        • tools.refinery.store.reasoning.literal.CountUpperBoundLiteral
    • tools.refinery.store.reasoning.literal.PartialCheckLiteral (implements tools.refinery.logic.literal.CanNegate<T>, tools.refinery.logic.literal.TermLiteral<T>)
  • tools.refinery.logic.term.AbstractTerm<T> (implements tools.refinery.logic.term.Term<T>)
    • tools.refinery.logic.term.AbstractCallTerm<T>
      • tools.refinery.store.reasoning.literal.PartialCallTerm<T> (implements tools.refinery.store.reasoning.literal.PartialTerm<T>)
        • tools.refinery.store.reasoning.literal.PartialAggregationTerm<A,C,A2,C2>
        • tools.refinery.store.reasoning.literal.PartialCountTerm
        • tools.refinery.store.reasoning.literal.ReifyTerm
    • tools.refinery.store.reasoning.literal.PartialFunctionCallTerm<A,C> (implements tools.refinery.store.reasoning.literal.PartialTerm<T>)
  • tools.refinery.store.reasoning.literal.PartialLiterals

Interface Hierarchy

• tools.refinery.logic.term.AnyTerm
  • tools.refinery.logic.term.Term<T>
    • tools.refinery.store.reasoning.literal.PartialTerm<T>

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.store.reasoning.literal.Concreteness
    • tools.refinery.store.reasoning.literal.ConcretenessSpecification
    • tools.refinery.store.reasoning.literal.Modality
    • tools.refinery.store.reasoning.literal.ModalitySpecification

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.store.reasoning.literal.ModalConstraint (implements tools.refinery.logic.Constraint)