Enum ProboProblem
- All Implemented Interfaces:
Serializable
,Comparable<ProboProblem>
,Constable
This enum contains all supported problems for probo-based reasoner.
- Author:
- Matthias Thimm
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic enum
The actual computational sub-problem.Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
Enum ConstantDescriptionD3DC_ADMDC_CFDC_CF2DC_CODC_GRDC_IDDC_PRDC_SSTDC_STDC_STGDE_ADMDE_CFDE_CF2DE_CODE_GRDE_IDDE_PRDE_SSTDE_STDE_STGDL_ADMDL_CFDL_CF2DL_CODL_GRDL_IDDL_PRDL_SSTDL_STDL_STGDN_ADMDN_CFDN_CF2DN_CODN_GRDN_IDDN_PRDN_SSTDN_STDN_STGDS_ADMDS_CFDS_CF2DS_CODS_GRDS_IDDS_PRDS_SSTDS_STDS_STGDX_ADMDX_CFDX_CF2DX_CODX_GRDX_IDDX_PRDX_SSTDX_STDX_STGEC_ADMEC_CFEC_CF2EC_COEC_GREC_IDEC_PREC_SSTEC_STEC_STGEE_ADMEE_CFEE_CF2EE_COEE_GREE_IDEE_PREE_SSTEE_STEE_STGEL_ADMEL_CFEL_CF2EL_COEL_GREL_IDEL_PREL_SSTEL_STEL_STGES_ADMES_CFES_CF2ES_COES_GRES_IDES_PRES_SSTES_STES_STGSE_ADMSE_CFSE_CF2SE_COSE_GRSE_IDSE_PRSE_SSTSE_STSE_STG -
Method Summary
Modifier and TypeMethodDescriptionstatic ProboProblem
getProblem
(String s) Returns the problem instance that corresponds to the given abbreviation.static Collection<ProboProblem>
Returns a collection of problems parsed from the given string which has to be in the format "[problem1,...,problemn]".boolean
Returns the semantics of the problem.Returns the sub-problem of the problem.toString()
static ProboProblem
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.Methods inherited from class java.lang.Enum
compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
-
Enum Constant Details
-
DC_CF
DC_CF -
DC_ADM
DC_ADM -
DC_CO
DC_CO -
DC_GR
DC_GR -
DC_PR
DC_PR -
DC_ST
DC_ST -
DC_STG
DC_STG -
DC_SST
DC_SST -
DC_ID
DC_ID -
DC_CF2
DC_CF2 -
DS_CF
DS_CF -
DS_ADM
DS_ADM -
DS_CO
DS_CO -
DS_GR
DS_GR -
DS_PR
DS_PR -
DS_ST
DS_ST -
DS_STG
DS_STG -
DS_SST
DS_SST -
DS_ID
DS_ID -
DS_CF2
DS_CF2 -
DE_CF
DE_CF -
DE_ADM
DE_ADM -
DE_CO
DE_CO -
DE_GR
DE_GR -
DE_PR
DE_PR -
DE_ST
DE_ST -
DE_STG
DE_STG -
DE_SST
DE_SST -
DE_ID
DE_ID -
DE_CF2
DE_CF2 -
DL_CF
DL_CF -
DL_ADM
DL_ADM -
DL_CO
DL_CO -
DL_GR
DL_GR -
DL_PR
DL_PR -
DL_ST
DL_ST -
DL_STG
DL_STG -
DL_SST
DL_SST -
DL_ID
DL_ID -
DL_CF2
DL_CF2 -
DX_CF
DX_CF -
DX_ADM
DX_ADM -
DX_CO
DX_CO -
DX_GR
DX_GR -
DX_PR
DX_PR -
DX_ST
DX_ST -
DX_STG
DX_STG -
DX_SST
DX_SST -
DX_ID
DX_ID -
DX_CF2
DX_CF2 -
DN_CF
DN_CF -
DN_ADM
DN_ADM -
DN_CO
DN_CO -
DN_GR
DN_GR -
DN_PR
DN_PR -
DN_ST
DN_ST -
DN_STG
DN_STG -
DN_SST
DN_SST -
DN_ID
DN_ID -
DN_CF2
DN_CF2 -
EC_CF
EC_CF -
EC_ADM
EC_ADM -
EC_CO
EC_CO -
EC_GR
EC_GR -
EC_PR
EC_PR -
EC_ST
EC_ST -
EC_STG
EC_STG -
EC_SST
EC_SST -
EC_ID
EC_ID -
EC_CF2
EC_CF2 -
ES_CF
ES_CF -
ES_ADM
ES_ADM -
ES_CO
ES_CO -
ES_GR
ES_GR -
ES_PR
ES_PR -
ES_ST
ES_ST -
ES_STG
ES_STG -
ES_SST
ES_SST -
ES_ID
ES_ID -
ES_CF2
ES_CF2 -
EE_CF
EE_CF -
EE_ADM
EE_ADM -
EE_CO
EE_CO -
EE_GR
EE_GR -
EE_PR
EE_PR -
EE_ST
EE_ST -
EE_STG
EE_STG -
EE_SST
EE_SST -
EE_ID
EE_ID -
EE_CF2
EE_CF2 -
EL_CF
EL_CF -
EL_ADM
EL_ADM -
EL_CO
EL_CO -
EL_GR
EL_GR -
EL_PR
EL_PR -
EL_ST
EL_ST -
EL_STG
EL_STG -
EL_SST
EL_SST -
EL_ID
EL_ID -
EL_CF2
EL_CF2 -
SE_CF
SE_CF -
SE_ADM
SE_ADM -
SE_STG
SE_STG -
SE_SST
SE_SST -
SE_ID
SE_ID -
SE_CF2
SE_CF2 -
SE_CO
SE_CO -
SE_GR
SE_GR -
SE_PR
SE_PR -
SE_ST
SE_ST -
D3
D3
-
-
Method Details
-
values
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
subProblem
Returns the sub-problem of the problem.- Returns:
- the sub-problem of the problem.
-
semantics
Returns the semantics of the problem.- Returns:
- the semantics of the problem.
-
toString
- Overrides:
toString
in classEnum<ProboProblem>
-
getProblem
Returns the problem instance that corresponds to the given abbreviation.- Parameters:
s
- some string representing a problem instance- Returns:
- the actual problem
-
getProblems
Returns a collection of problems parsed from the given string which has to be in the format "[problem1,...,problemn]".- Parameters:
s
- some string- Returns:
- a collection of problems
-
isJustificationProblem
public boolean isJustificationProblem()- Returns:
- if problem is justified
-