public static enum RavenBDDFactory.BDDOperator extends Enum<RavenBDDFactory.BDDOperator>
Enum Constant and Description |
---|
and
AND-Operator
|
biimp
BIIMPLICATION-Operator
|
imp
IMPLICATION-Operator
|
or
OR-Operator
|
restrict
RESTRICTION-Operator
|
xor
EXCLUSIVE OR-Operator
|
Modifier and Type | Method and Description |
---|---|
static RavenBDDFactory.BDDOperator |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static RavenBDDFactory.BDDOperator[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final RavenBDDFactory.BDDOperator and
public static final RavenBDDFactory.BDDOperator biimp
public static final RavenBDDFactory.BDDOperator imp
public static final RavenBDDFactory.BDDOperator or
public static final RavenBDDFactory.BDDOperator xor
public static final RavenBDDFactory.BDDOperator restrict
public static RavenBDDFactory.BDDOperator[] values()
for (RavenBDDFactory.BDDOperator c : RavenBDDFactory.BDDOperator.values()) System.out.println(c);
public static RavenBDDFactory.BDDOperator 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