edu.hkust.afchecker.tool
Interface FaultType

public interface FaultType

Author: Andrew
File history: Created on July 22, 2011. Last update on Oct. 13, 2012
Description: The types of faults supported in our system.

Field Summary

static int	ADAPTATION_RACE adaptation race fault
static int	DEAD_PREDICATE dead rule predicate fault
static int	DEAD_STATE dead state fault
static int	UNDETERMINISM undeterministic adaptation fault
static int	UNRECHABILITY unreachability fault

Field Detail

UNDETERMINISM

static final int UNDETERMINISM

undeterministic adaptation fault

See Also:

Constant Field Values

DEAD_PREDICATE

static final int DEAD_PREDICATE

dead rule predicate fault

See Also:

Constant Field Values

DEAD_STATE

static final int DEAD_STATE

dead state fault

See Also:

Constant Field Values

ADAPTATION_RACE

static final int ADAPTATION_RACE

adaptation race fault

See Also:

Constant Field Values

UNRECHABILITY

static final int UNRECHABILITY

unreachability fault

See Also:

Constant Field Values