public static enum MathematicalModelConverter.FormulaType extends java.lang.Enum<MathematicalModelConverter.FormulaType>
Enum Constant and Description |
---|
Buffer |
CTL |
LTL |
Reachability |
Risk |
TCTL |
Modifier and Type | Method and Description |
---|---|
static MathematicalModelConverter.FormulaType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static MathematicalModelConverter.FormulaType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final MathematicalModelConverter.FormulaType CTL
public static final MathematicalModelConverter.FormulaType LTL
public static final MathematicalModelConverter.FormulaType TCTL
public static final MathematicalModelConverter.FormulaType Buffer
public static final MathematicalModelConverter.FormulaType Risk
public static final MathematicalModelConverter.FormulaType Reachability
public static MathematicalModelConverter.FormulaType[] values()
for (MathematicalModelConverter.FormulaType c : MathematicalModelConverter.FormulaType.values()) System.out.println(c);
public static MathematicalModelConverter.FormulaType valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null