Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

Kind¶

public enum Kind¶

Enum Constants¶

DeadStateCounterexample¶

public static final Kind DeadStateCounterexample¶

DeadlockCounterexample¶

public static final Kind DeadlockCounterexample¶

DivergenceMissingSignalCounterexample¶

public static final Kind DivergenceMissingSignalCounterexample¶

EmptySpontaneousCounterexample¶

public static final Kind EmptySpontaneousCounterexample¶

EventuallyCounterexample¶

public static final Kind EventuallyCounterexample¶

ExceptionCounterexample¶

public static final Kind ExceptionCounterexample¶

IllegalFunctionCallCounterexample¶

public static final Kind IllegalFunctionCallCounterexample¶

IllegalLegalOverlapCounterexample¶

public static final Kind IllegalLegalOverlapCounterexample¶

IllegalSignalCounterexample¶

public static final Kind IllegalSignalCounterexample¶

ImplIllegalMismatchCounterexample¶

public static final Kind ImplIllegalMismatchCounterexample¶

MissingSignalCounterexample¶

public static final Kind MissingSignalCounterexample¶

NoTerminationDeadlockCounterexample¶

public static final Kind NoTerminationDeadlockCounterexample¶

NoTerminationLoopCounterexample¶

public static final Kind NoTerminationLoopCounterexample¶

ReachabilityCounterexample¶

public static final Kind ReachabilityCounterexample¶

ResponsiveCounterexample¶

public static final Kind ResponsiveCounterexample¶

SpecIllegalMismatchCounterexample¶

public static final Kind SpecIllegalMismatchCounterexample¶

TraceRefinementCounterexample¶

public static final Kind TraceRefinementCounterexample¶

Methods¶

fromInteger¶

public static Kind fromInteger(int value)¶

toInteger¶

public static int toInteger(Kind value)¶