Constant Field Values


Contents
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