public static enum SmvExprPrinter.ConstraintType extends java.lang.Enum<SmvExprPrinter.ConstraintType>
Modifier and Type | Method and Description |
---|---|
static SmvExprPrinter.ConstraintType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SmvExprPrinter.ConstraintType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SmvExprPrinter.ConstraintType FAIRNESS
public static final SmvExprPrinter.ConstraintType INVAR
public static final SmvExprPrinter.ConstraintType CTLSPEC
public static final SmvExprPrinter.ConstraintType LTLSPEC
public static SmvExprPrinter.ConstraintType[] values()
for (SmvExprPrinter.ConstraintType c : SmvExprPrinter.ConstraintType.values()) System.out.println(c);
public static SmvExprPrinter.ConstraintType 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