public static enum CounterExample.Type extends Enum<CounterExample.Type> implements Data.Type
Enum Constant and Description |
---|
cospanCounterExample
CospanCounterExample type used when the algorithm creates only one counter example
|
ruleCounterExample
RuleCounterExample type used when the algorithm creates two counter examples
|
Modifier and Type | Method and Description |
---|---|
static CounterExample.Type |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static CounterExample.Type[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final CounterExample.Type cospanCounterExample
public static final CounterExample.Type ruleCounterExample
public static CounterExample.Type[] values()
for (CounterExample.Type c : CounterExample.Type.values()) System.out.println(c);
public static CounterExample.Type 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