public static enum Bdd.BddType extends Enum<Bdd.BddType>
| Enum Constant and Description |
|---|
AND |
BUT |
FEATURE |
GIVEN |
MATCH |
SUMMARY |
THEN |
WHEN |
WHERE |
| Modifier and Type | Method and Description |
|---|---|
static Bdd.BddType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Bdd.BddType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Bdd.BddType SUMMARY
public static final Bdd.BddType FEATURE
public static final Bdd.BddType GIVEN
public static final Bdd.BddType THEN
public static final Bdd.BddType WHEN
public static final Bdd.BddType AND
public static final Bdd.BddType BUT
public static final Bdd.BddType WHERE
public static final Bdd.BddType MATCH
public static Bdd.BddType[] values()
for (Bdd.BddType c : Bdd.BddType.values()) System.out.println(c);
public static Bdd.BddType 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 nullCopyright © 2022. All rights reserved.