Package tools.refinery.store.reasoning.literal

Class PartialLiterals

java.lang.Object

tools.refinery.store.reasoning.literal.PartialLiterals

public final class PartialLiterals
extends Object

Method Summary

Modifier and Type	Method	Description
static 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

may

public static CallLiteral may(CallLiteral literal)

must

public static CallLiteral must(CallLiteral literal)

candidateMay

public static CallLiteral candidateMay(CallLiteral literal)

candidateMust

public static CallLiteral candidateMust(CallLiteral literal)

addModality

public static CallLiteral addModality(CallLiteral literal,
 Modality modality,
 Concreteness concreteness)