uk.ac.ox.cs.fdr
public final class SemanticModel extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static SemanticModel |
Default |
static SemanticModel |
Failures |
static SemanticModel |
FailuresDivergences |
static SemanticModel |
Refusals |
static SemanticModel |
RefusalsDivergences |
static SemanticModel |
Revivals |
static SemanticModel |
RevivalsDivergences |
static SemanticModel |
Traces |
Modifier and Type | Method and Description |
---|---|
static SemanticModel |
swigToEnum(int swigValue) |
int |
swigValue() |
java.lang.String |
toString() |
public static final SemanticModel Default
public static final SemanticModel Traces
public static final SemanticModel Failures
public static final SemanticModel FailuresDivergences
public static final SemanticModel Refusals
public static final SemanticModel RefusalsDivergences
public static final SemanticModel Revivals
public static final SemanticModel RevivalsDivergences
public final int swigValue()
public java.lang.String toString()
toString
in class java.lang.Object
public static SemanticModel swigToEnum(int swigValue)