Class PartialLiterals
java.lang.Object
tools.refinery.store.reasoning.literal.PartialLiterals
-
Method Summary
Modifier and TypeMethodDescriptionstatic CallLiteral
addModality
(CallLiteral literal, Modality modality, Concreteness concreteness) static CallLiteral
candidateMay
(CallLiteral literal) static CallLiteral
candidateMust
(CallLiteral literal) static CallLiteral
may
(CallLiteral literal) static CallLiteral
must
(CallLiteral literal)
-
Method Details
-
may
-
must
-
candidateMay
-
candidateMust
-
addModality
public static CallLiteral addModality(CallLiteral literal, Modality modality, Concreteness concreteness)
-