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