public enum ProboProblem extends java.lang.Enum<ProboProblem>
Modifier and Type | Class and Description |
---|---|
static class |
ProboProblem.SubProblem
The actual computational sub-problem.
|
Enum Constant and Description |
---|
D3 |
DC_ADM |
DC_CF |
DC_CF2 |
DC_CO |
DC_GR |
DC_ID |
DC_PR |
DC_SST |
DC_ST |
DC_STG |
DE_ADM |
DE_CF |
DE_CF2 |
DE_CO |
DE_GR |
DE_ID |
DE_PR |
DE_SST |
DE_ST |
DE_STG |
DL_ADM |
DL_CF |
DL_CF2 |
DL_CO |
DL_GR |
DL_ID |
DL_PR |
DL_SST |
DL_ST |
DL_STG |
DN_ADM |
DN_CF |
DN_CF2 |
DN_CO |
DN_GR |
DN_ID |
DN_PR |
DN_SST |
DN_ST |
DN_STG |
DS_ADM |
DS_CF |
DS_CF2 |
DS_CO |
DS_GR |
DS_ID |
DS_PR |
DS_SST |
DS_ST |
DS_STG |
DX_ADM |
DX_CF |
DX_CF2 |
DX_CO |
DX_GR |
DX_ID |
DX_PR |
DX_SST |
DX_ST |
DX_STG |
EC_ADM |
EC_CF |
EC_CF2 |
EC_CO |
EC_GR |
EC_ID |
EC_PR |
EC_SST |
EC_ST |
EC_STG |
EE_ADM |
EE_CF |
EE_CF2 |
EE_CO |
EE_GR |
EE_ID |
EE_PR |
EE_SST |
EE_ST |
EE_STG |
EL_ADM |
EL_CF |
EL_CF2 |
EL_CO |
EL_GR |
EL_ID |
EL_PR |
EL_SST |
EL_ST |
EL_STG |
ES_ADM |
ES_CF |
ES_CF2 |
ES_CO |
ES_GR |
ES_ID |
ES_PR |
ES_SST |
ES_ST |
ES_STG |
SE_ADM |
SE_CF |
SE_CF2 |
SE_CO |
SE_GR |
SE_ID |
SE_PR |
SE_SST |
SE_ST |
SE_STG |
Modifier and Type | Field and Description |
---|---|
private Semantics |
semantics
The semantics for the problem.
|
private ProboProblem.SubProblem |
subProblem
The description of the problem.
|
Modifier and Type | Method and Description |
---|---|
static ProboProblem |
getProblem(java.lang.String s)
Returns the problem instance that corresponds to the given abbreviation.
|
static java.util.Collection<ProboProblem> |
getProblems(java.lang.String s)
Returns a collection of problems parsed from the given string which
has to be in the format "[problem1,...,problemn]".
|
boolean |
isJustificationProblem() |
Semantics |
semantics()
Returns the semantics of the problem.
|
ProboProblem.SubProblem |
subProblem()
Returns the sub-problem of the problem.
|
java.lang.String |
toString() |
static ProboProblem |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProboProblem[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ProboProblem DC_CF
public static final ProboProblem DC_ADM
public static final ProboProblem DC_CO
public static final ProboProblem DC_GR
public static final ProboProblem DC_PR
public static final ProboProblem DC_ST
public static final ProboProblem DC_STG
public static final ProboProblem DC_SST
public static final ProboProblem DC_ID
public static final ProboProblem DC_CF2
public static final ProboProblem DS_CF
public static final ProboProblem DS_ADM
public static final ProboProblem DS_CO
public static final ProboProblem DS_GR
public static final ProboProblem DS_PR
public static final ProboProblem DS_ST
public static final ProboProblem DS_STG
public static final ProboProblem DS_SST
public static final ProboProblem DS_ID
public static final ProboProblem DS_CF2
public static final ProboProblem DE_CF
public static final ProboProblem DE_ADM
public static final ProboProblem DE_CO
public static final ProboProblem DE_GR
public static final ProboProblem DE_PR
public static final ProboProblem DE_ST
public static final ProboProblem DE_STG
public static final ProboProblem DE_SST
public static final ProboProblem DE_ID
public static final ProboProblem DE_CF2
public static final ProboProblem DL_CF
public static final ProboProblem DL_ADM
public static final ProboProblem DL_CO
public static final ProboProblem DL_GR
public static final ProboProblem DL_PR
public static final ProboProblem DL_ST
public static final ProboProblem DL_STG
public static final ProboProblem DL_SST
public static final ProboProblem DL_ID
public static final ProboProblem DL_CF2
public static final ProboProblem DX_CF
public static final ProboProblem DX_ADM
public static final ProboProblem DX_CO
public static final ProboProblem DX_GR
public static final ProboProblem DX_PR
public static final ProboProblem DX_ST
public static final ProboProblem DX_STG
public static final ProboProblem DX_SST
public static final ProboProblem DX_ID
public static final ProboProblem DX_CF2
public static final ProboProblem DN_CF
public static final ProboProblem DN_ADM
public static final ProboProblem DN_CO
public static final ProboProblem DN_GR
public static final ProboProblem DN_PR
public static final ProboProblem DN_ST
public static final ProboProblem DN_STG
public static final ProboProblem DN_SST
public static final ProboProblem DN_ID
public static final ProboProblem DN_CF2
public static final ProboProblem EC_CF
public static final ProboProblem EC_ADM
public static final ProboProblem EC_CO
public static final ProboProblem EC_GR
public static final ProboProblem EC_PR
public static final ProboProblem EC_ST
public static final ProboProblem EC_STG
public static final ProboProblem EC_SST
public static final ProboProblem EC_ID
public static final ProboProblem EC_CF2
public static final ProboProblem ES_CF
public static final ProboProblem ES_ADM
public static final ProboProblem ES_CO
public static final ProboProblem ES_GR
public static final ProboProblem ES_PR
public static final ProboProblem ES_ST
public static final ProboProblem ES_STG
public static final ProboProblem ES_SST
public static final ProboProblem ES_ID
public static final ProboProblem ES_CF2
public static final ProboProblem EE_CF
public static final ProboProblem EE_ADM
public static final ProboProblem EE_CO
public static final ProboProblem EE_GR
public static final ProboProblem EE_PR
public static final ProboProblem EE_ST
public static final ProboProblem EE_STG
public static final ProboProblem EE_SST
public static final ProboProblem EE_ID
public static final ProboProblem EE_CF2
public static final ProboProblem EL_CF
public static final ProboProblem EL_ADM
public static final ProboProblem EL_CO
public static final ProboProblem EL_GR
public static final ProboProblem EL_PR
public static final ProboProblem EL_ST
public static final ProboProblem EL_STG
public static final ProboProblem EL_SST
public static final ProboProblem EL_ID
public static final ProboProblem EL_CF2
public static final ProboProblem SE_CF
public static final ProboProblem SE_ADM
public static final ProboProblem SE_STG
public static final ProboProblem SE_SST
public static final ProboProblem SE_ID
public static final ProboProblem SE_CF2
public static final ProboProblem SE_CO
public static final ProboProblem SE_GR
public static final ProboProblem SE_PR
public static final ProboProblem SE_ST
public static final ProboProblem D3
private ProboProblem.SubProblem subProblem
private Semantics semantics
public static ProboProblem[] values()
for (ProboProblem c : ProboProblem.values()) System.out.println(c);
public static ProboProblem 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 nullpublic ProboProblem.SubProblem subProblem()
public Semantics semantics()
public java.lang.String toString()
toString
in class java.lang.Enum<ProboProblem>
public static ProboProblem getProblem(java.lang.String s)
s
- some string representing a problem instancepublic static java.util.Collection<ProboProblem> getProblems(java.lang.String s)
s
- some stringpublic boolean isJustificationProblem()