public static enum SMTTermBinOp.OpProperty extends java.lang.Enum<SMTTermBinOp.OpProperty>
Enum Constant and Description |
---|
CHAINABLE |
FULLASSOC |
LEFTASSOC |
NONE |
PAIRWISE |
RIGHTASSOC |
Modifier and Type | Method and Description |
---|---|
static SMTTermBinOp.OpProperty |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SMTTermBinOp.OpProperty[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SMTTermBinOp.OpProperty NONE
public static final SMTTermBinOp.OpProperty LEFTASSOC
public static final SMTTermBinOp.OpProperty RIGHTASSOC
public static final SMTTermBinOp.OpProperty FULLASSOC
public static final SMTTermBinOp.OpProperty CHAINABLE
public static final SMTTermBinOp.OpProperty PAIRWISE
public static SMTTermBinOp.OpProperty[] values()
for (SMTTermBinOp.OpProperty c : SMTTermBinOp.OpProperty.values()) System.out.println(c);
public static SMTTermBinOp.OpProperty 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