public enum ProblemType extends Enum<ProblemType>
Enum Constant and Description |
---|
CNF_MAXSAT |
CNF_SAT |
PB_OPT |
PB_SAT |
WCNF_MAXSAT |
Modifier and Type | Method and Description |
---|---|
static ProblemType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ProblemType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ProblemType CNF_SAT
public static final ProblemType PB_SAT
public static final ProblemType PB_OPT
public static final ProblemType CNF_MAXSAT
public static final ProblemType WCNF_MAXSAT
public static ProblemType[] values()
for (ProblemType c : ProblemType.values()) System.out.println(c);
public static ProblemType 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 © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.