public static enum ConsoleStarter.Mode extends Enum<ConsoleStarter.Mode>
Enum Constant and Description |
---|
CLASSIFICATION |
CONSISTENCY |
ENTAILMENT |
NOTHING |
QUERY |
SATISFIABILITY |
Modifier and Type | Method and Description |
---|---|
static ConsoleStarter.Mode |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ConsoleStarter.Mode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ConsoleStarter.Mode CLASSIFICATION
public static final ConsoleStarter.Mode CONSISTENCY
public static final ConsoleStarter.Mode ENTAILMENT
public static final ConsoleStarter.Mode NOTHING
public static final ConsoleStarter.Mode QUERY
public static final ConsoleStarter.Mode SATISFIABILITY
public static ConsoleStarter.Mode[] values()
for (ConsoleStarter.Mode c : ConsoleStarter.Mode.values()) System.out.println(c);
public static ConsoleStarter.Mode 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 © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.