public static enum ZbddCache.Operation2 extends Enum<ZbddCache.Operation2>
| Enum Constant and Description |
|---|
CHANGE |
DIFFERENCE |
DIVIDE |
INTERSECT |
MODULO |
MULTIPLY |
SUBSET0 |
SUBSET1 |
UNION |
| Modifier and Type | Method and Description |
|---|---|
static ZbddCache.Operation2 |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ZbddCache.Operation2[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ZbddCache.Operation2 SUBSET0
public static final ZbddCache.Operation2 SUBSET1
public static final ZbddCache.Operation2 CHANGE
public static final ZbddCache.Operation2 UNION
public static final ZbddCache.Operation2 INTERSECT
public static final ZbddCache.Operation2 DIFFERENCE
public static final ZbddCache.Operation2 MULTIPLY
public static final ZbddCache.Operation2 DIVIDE
public static final ZbddCache.Operation2 MODULO
public static ZbddCache.Operation2[] values()
for (ZbddCache.Operation2 c : ZbddCache.Operation2.values()) System.out.println(c);
public static ZbddCache.Operation2 valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is null