Package tools.refinery.store.reasoning.literal

package tools.refinery.store.reasoning.literal

Related Packages

Package	Description
tools.refinery.store.reasoning

Class	Description
Concreteness
ConcretenessSpecification
CountCandidateLowerBoundLiteral
CountCandidateUpperBoundLiteral
CountLowerBoundLiteral
CountUpperBoundLiteral
ModalConstraint
Modality
ModalitySpecification
PartialAggregationTerm<A extends AbstractValue<A,C>, C, A2 extends AbstractValue<A2,C2>, C2>
PartialCallTerm<T>
PartialCheckLiteral
PartialCountTerm
PartialFunctionCallTerm<A extends AbstractValue<A,C>, C>
PartialLiterals
PartialTerm<T>
ReifyTerm