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