Constant Field Values

Contents

• edu.hkust.*

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