|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
edu.hkust.* |
---|
edu.hkust.afchecker.model.BoolValue | ||
---|---|---|
public static final int |
FALSE |
0 |
public static final int |
TRUE |
1 |
public static final int |
UNKNOWN |
-1 |
edu.hkust.afchecker.model.ContextOperator | ||
---|---|---|
public static final short |
EQUAL |
1 |
public static final short |
GREATER |
3 |
public static final short |
GREATER_EQUAL |
4 |
public static final short |
NOT_EQUAL |
2 |
public static final short |
SMALLER |
5 |
public static final short |
SMALLER_EQUAL |
6 |
edu.hkust.afchecker.model.ContextType | ||
---|---|---|
public static final short |
BATTERY_LEVEL |
8 |
public static final short |
BT |
4 |
public static final short |
BT_COUNT |
5 |
public static final short |
GPS_LOCATION |
2 |
public static final short |
GPS_SPEED |
3 |
public static final short |
GPS_VALID |
1 |
public static final short |
TIME |
6 |
public static final short |
WIFI_ID |
7 |
edu.hkust.afchecker.tool.FaultType | ||
---|---|---|
public static final int |
ADAPTATION_RACE |
4 |
public static final int |
DEAD_PREDICATE |
2 |
public static final int |
DEAD_STATE |
3 |
public static final int |
UNDETERMINISM |
1 |
public static final int |
UNRECHABILITY |
5 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |