Package owl.cinterface
Enum CAutomaton.Acceptance
- java.lang.Object
-
- java.lang.Enum<CAutomaton.Acceptance>
-
- owl.cinterface.CAutomaton.Acceptance
-
- All Implemented Interfaces:
Serializable
,Comparable<CAutomaton.Acceptance>
- Enclosing class:
- CAutomaton
public static enum CAutomaton.Acceptance extends Enum<CAutomaton.Acceptance>
-
-
Enum Constant Summary
Enum Constants Enum Constant Description BOTTOM
BUCHI
CO_BUCHI
CO_SAFETY
PARITY
PARITY_MAX_EVEN
PARITY_MAX_ODD
PARITY_MIN_EVEN
PARITY_MIN_ODD
SAFETY
WEAK
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static CAutomaton.Acceptance
fromCValue(int value)
static CAutomaton.Acceptance
fromOmegaAcceptance(OmegaAcceptance acceptance)
int
getCValue()
boolean
isLessOrEqualWeak()
boolean
isLessThanParity()
CAutomaton.Acceptance
lub(CAutomaton.Acceptance other)
static CAutomaton.Acceptance
valueOf(String name)
Returns the enum constant of this type with the specified name.static CAutomaton.Acceptance[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
BUCHI
public static final CAutomaton.Acceptance BUCHI
-
CO_BUCHI
public static final CAutomaton.Acceptance CO_BUCHI
-
CO_SAFETY
public static final CAutomaton.Acceptance CO_SAFETY
-
PARITY
public static final CAutomaton.Acceptance PARITY
-
PARITY_MAX_EVEN
public static final CAutomaton.Acceptance PARITY_MAX_EVEN
-
PARITY_MAX_ODD
public static final CAutomaton.Acceptance PARITY_MAX_ODD
-
PARITY_MIN_EVEN
public static final CAutomaton.Acceptance PARITY_MIN_EVEN
-
PARITY_MIN_ODD
public static final CAutomaton.Acceptance PARITY_MIN_ODD
-
SAFETY
public static final CAutomaton.Acceptance SAFETY
-
WEAK
public static final CAutomaton.Acceptance WEAK
-
BOTTOM
public static final CAutomaton.Acceptance BOTTOM
-
-
Method Detail
-
values
public static CAutomaton.Acceptance[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (CAutomaton.Acceptance c : CAutomaton.Acceptance.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static CAutomaton.Acceptance valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
getCValue
public int getCValue()
-
fromCValue
public static CAutomaton.Acceptance fromCValue(int value)
-
fromOmegaAcceptance
public static CAutomaton.Acceptance fromOmegaAcceptance(OmegaAcceptance acceptance)
-
lub
public CAutomaton.Acceptance lub(CAutomaton.Acceptance other)
-
isLessThanParity
public boolean isLessThanParity()
-
isLessOrEqualWeak
public boolean isLessOrEqualWeak()
-
-