Hierarchy For Package tools.refinery.store.reasoning.literal
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.logic.literal.AbstractCountLiteral<T>
- tools.refinery.store.reasoning.literal.PartialCheckLiteral (implements tools.refinery.logic.literal.CanNegate<T>, tools.refinery.logic.literal.TermLiteral<T>)
- tools.refinery.logic.literal.AbstractCallLiteral
- 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.PartialAggregationTerm<A,
- tools.refinery.store.reasoning.literal.PartialCallTerm<T> (implements tools.refinery.store.reasoning.literal.PartialTerm<T>)
- tools.refinery.store.reasoning.literal.PartialFunctionCallTerm<A,
C> (implements tools.refinery.store.reasoning.literal.PartialTerm<T>)
- tools.refinery.logic.term.AbstractCallTerm<T>
- tools.refinery.store.reasoning.literal.PartialLiterals
- tools.refinery.logic.literal.AbstractLiteral (implements tools.refinery.logic.literal.Literal)
Interface Hierarchy
- tools.refinery.logic.term.AnyTerm
- tools.refinery.logic.term.Term<T>
- tools.refinery.store.reasoning.literal.PartialTerm<T>
- tools.refinery.logic.term.Term<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
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- tools.refinery.store.reasoning.literal.ModalConstraint (implements tools.refinery.logic.Constraint)
- java.lang.Record