public static enum CommandLineArgs.SolverType extends java.lang.Enum<CommandLineArgs.SolverType>
Enum Constant and Description |
---|
DUMMY_INVALID |
MATRIX_SOLVER |
MUTUAL_EXCLUSION |
PERIOD_LOCALITY |
UNFOLDING_SOLVER |
Modifier and Type | Method and Description |
---|---|
static CommandLineArgs.SolverType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static CommandLineArgs.SolverType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final CommandLineArgs.SolverType UNFOLDING_SOLVER
public static final CommandLineArgs.SolverType PERIOD_LOCALITY
public static final CommandLineArgs.SolverType MATRIX_SOLVER
public static final CommandLineArgs.SolverType MUTUAL_EXCLUSION
public static final CommandLineArgs.SolverType DUMMY_INVALID
public static CommandLineArgs.SolverType[] values()
for (CommandLineArgs.SolverType c : CommandLineArgs.SolverType.values()) System.out.println(c);
public static CommandLineArgs.SolverType valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null