Package net.sf.tweety.arg.dung.reasoner
Enum ProboProblem
- java.lang.Object
 - 
- java.lang.Enum<ProboProblem>
 - 
- net.sf.tweety.arg.dung.reasoner.ProboProblem
 
 
 
- 
- All Implemented Interfaces:
 java.io.Serializable,java.lang.Comparable<ProboProblem>,java.lang.constant.Constable
public enum ProboProblem extends java.lang.Enum<ProboProblem>
This enum contains all supported problems for probo-based reasoner.- Author:
 - Matthias Thimm
 
 
- 
- 
Nested Class Summary
Nested Classes Modifier and Type Class Description static classProboProblem.SubProblemThe actual computational sub-problem. 
- 
Enum Constant Summary
Enum Constants Enum Constant Description D3DC_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 
- 
Field Summary
Fields Modifier and Type Field Description private SemanticssemanticsThe semantics for the problem.private ProboProblem.SubProblemsubProblemThe description of the problem. 
- 
Constructor Summary
Constructors Modifier Constructor Description privateProboProblem(ProboProblem.SubProblem subProblem, Semantics semantics)Creates a new problem. 
- 
Method Summary
Modifier and Type Method Description static ProboProblemgetProblem(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]".booleanisJustificationProblem()Semanticssemantics()Returns the semantics of the problem.ProboProblem.SubProblemsubProblem()Returns the sub-problem of the problem.java.lang.StringtoString()static ProboProblemvalueOf(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. 
 - 
 
- 
- 
Enum Constant Detail
- 
DC_CF
public static final ProboProblem DC_CF
 
- 
DC_ADM
public static final ProboProblem DC_ADM
 
- 
DC_CO
public static final ProboProblem DC_CO
 
- 
DC_GR
public static final ProboProblem DC_GR
 
- 
DC_PR
public static final ProboProblem DC_PR
 
- 
DC_ST
public static final ProboProblem DC_ST
 
- 
DC_STG
public static final ProboProblem DC_STG
 
- 
DC_SST
public static final ProboProblem DC_SST
 
- 
DC_ID
public static final ProboProblem DC_ID
 
- 
DC_CF2
public static final ProboProblem DC_CF2
 
- 
DS_CF
public static final ProboProblem DS_CF
 
- 
DS_ADM
public static final ProboProblem DS_ADM
 
- 
DS_CO
public static final ProboProblem DS_CO
 
- 
DS_GR
public static final ProboProblem DS_GR
 
- 
DS_PR
public static final ProboProblem DS_PR
 
- 
DS_ST
public static final ProboProblem DS_ST
 
- 
DS_STG
public static final ProboProblem DS_STG
 
- 
DS_SST
public static final ProboProblem DS_SST
 
- 
DS_ID
public static final ProboProblem DS_ID
 
- 
DS_CF2
public static final ProboProblem DS_CF2
 
- 
DE_CF
public static final ProboProblem DE_CF
 
- 
DE_ADM
public static final ProboProblem DE_ADM
 
- 
DE_CO
public static final ProboProblem DE_CO
 
- 
DE_GR
public static final ProboProblem DE_GR
 
- 
DE_PR
public static final ProboProblem DE_PR
 
- 
DE_ST
public static final ProboProblem DE_ST
 
- 
DE_STG
public static final ProboProblem DE_STG
 
- 
DE_SST
public static final ProboProblem DE_SST
 
- 
DE_ID
public static final ProboProblem DE_ID
 
- 
DE_CF2
public static final ProboProblem DE_CF2
 
- 
DL_CF
public static final ProboProblem DL_CF
 
- 
DL_ADM
public static final ProboProblem DL_ADM
 
- 
DL_CO
public static final ProboProblem DL_CO
 
- 
DL_GR
public static final ProboProblem DL_GR
 
- 
DL_PR
public static final ProboProblem DL_PR
 
- 
DL_ST
public static final ProboProblem DL_ST
 
- 
DL_STG
public static final ProboProblem DL_STG
 
- 
DL_SST
public static final ProboProblem DL_SST
 
- 
DL_ID
public static final ProboProblem DL_ID
 
- 
DL_CF2
public static final ProboProblem DL_CF2
 
- 
DX_CF
public static final ProboProblem DX_CF
 
- 
DX_ADM
public static final ProboProblem DX_ADM
 
- 
DX_CO
public static final ProboProblem DX_CO
 
- 
DX_GR
public static final ProboProblem DX_GR
 
- 
DX_PR
public static final ProboProblem DX_PR
 
- 
DX_ST
public static final ProboProblem DX_ST
 
- 
DX_STG
public static final ProboProblem DX_STG
 
- 
DX_SST
public static final ProboProblem DX_SST
 
- 
DX_ID
public static final ProboProblem DX_ID
 
- 
DX_CF2
public static final ProboProblem DX_CF2
 
- 
DN_CF
public static final ProboProblem DN_CF
 
- 
DN_ADM
public static final ProboProblem DN_ADM
 
- 
DN_CO
public static final ProboProblem DN_CO
 
- 
DN_GR
public static final ProboProblem DN_GR
 
- 
DN_PR
public static final ProboProblem DN_PR
 
- 
DN_ST
public static final ProboProblem DN_ST
 
- 
DN_STG
public static final ProboProblem DN_STG
 
- 
DN_SST
public static final ProboProblem DN_SST
 
- 
DN_ID
public static final ProboProblem DN_ID
 
- 
DN_CF2
public static final ProboProblem DN_CF2
 
- 
EC_CF
public static final ProboProblem EC_CF
 
- 
EC_ADM
public static final ProboProblem EC_ADM
 
- 
EC_CO
public static final ProboProblem EC_CO
 
- 
EC_GR
public static final ProboProblem EC_GR
 
- 
EC_PR
public static final ProboProblem EC_PR
 
- 
EC_ST
public static final ProboProblem EC_ST
 
- 
EC_STG
public static final ProboProblem EC_STG
 
- 
EC_SST
public static final ProboProblem EC_SST
 
- 
EC_ID
public static final ProboProblem EC_ID
 
- 
EC_CF2
public static final ProboProblem EC_CF2
 
- 
ES_CF
public static final ProboProblem ES_CF
 
- 
ES_ADM
public static final ProboProblem ES_ADM
 
- 
ES_CO
public static final ProboProblem ES_CO
 
- 
ES_GR
public static final ProboProblem ES_GR
 
- 
ES_PR
public static final ProboProblem ES_PR
 
- 
ES_ST
public static final ProboProblem ES_ST
 
- 
ES_STG
public static final ProboProblem ES_STG
 
- 
ES_SST
public static final ProboProblem ES_SST
 
- 
ES_ID
public static final ProboProblem ES_ID
 
- 
ES_CF2
public static final ProboProblem ES_CF2
 
- 
EE_CF
public static final ProboProblem EE_CF
 
- 
EE_ADM
public static final ProboProblem EE_ADM
 
- 
EE_CO
public static final ProboProblem EE_CO
 
- 
EE_GR
public static final ProboProblem EE_GR
 
- 
EE_PR
public static final ProboProblem EE_PR
 
- 
EE_ST
public static final ProboProblem EE_ST
 
- 
EE_STG
public static final ProboProblem EE_STG
 
- 
EE_SST
public static final ProboProblem EE_SST
 
- 
EE_ID
public static final ProboProblem EE_ID
 
- 
EE_CF2
public static final ProboProblem EE_CF2
 
- 
EL_CF
public static final ProboProblem EL_CF
 
- 
EL_ADM
public static final ProboProblem EL_ADM
 
- 
EL_CO
public static final ProboProblem EL_CO
 
- 
EL_GR
public static final ProboProblem EL_GR
 
- 
EL_PR
public static final ProboProblem EL_PR
 
- 
EL_ST
public static final ProboProblem EL_ST
 
- 
EL_STG
public static final ProboProblem EL_STG
 
- 
EL_SST
public static final ProboProblem EL_SST
 
- 
EL_ID
public static final ProboProblem EL_ID
 
- 
EL_CF2
public static final ProboProblem EL_CF2
 
- 
SE_CF
public static final ProboProblem SE_CF
 
- 
SE_ADM
public static final ProboProblem SE_ADM
 
- 
SE_STG
public static final ProboProblem SE_STG
 
- 
SE_SST
public static final ProboProblem SE_SST
 
- 
SE_ID
public static final ProboProblem SE_ID
 
- 
SE_CF2
public static final ProboProblem SE_CF2
 
- 
SE_CO
public static final ProboProblem SE_CO
 
- 
SE_GR
public static final ProboProblem SE_GR
 
- 
SE_PR
public static final ProboProblem SE_PR
 
- 
SE_ST
public static final ProboProblem SE_ST
 
- 
D3
public static final ProboProblem D3
 
 - 
 
- 
Field Detail
- 
subProblem
private ProboProblem.SubProblem subProblem
The description of the problem. 
- 
semantics
private Semantics semantics
The semantics for the problem. 
 - 
 
- 
Constructor Detail
- 
ProboProblem
private ProboProblem(ProboProblem.SubProblem subProblem, Semantics semantics)
Creates a new problem.- Parameters:
 subProblem- the sub-problemsemantics- the semantics.
 
 - 
 
- 
Method Detail
- 
values
public static ProboProblem[] 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
public static ProboProblem valueOf(java.lang.String name)
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:
 java.lang.IllegalArgumentException- if this enum type has no constant with the specified namejava.lang.NullPointerException- if the argument is null
 
- 
subProblem
public ProboProblem.SubProblem subProblem()
Returns the sub-problem of the problem.- Returns:
 - the sub-problem of the problem.
 
 
- 
semantics
public Semantics semantics()
Returns the semantics of the problem.- Returns:
 - the semantics of the problem.
 
 
- 
toString
public java.lang.String toString()
- Overrides:
 toStringin classjava.lang.Enum<ProboProblem>
 
- 
getProblem
public static ProboProblem getProblem(java.lang.String s)
Returns the problem instance that corresponds to the given abbreviation.- Parameters:
 s- some string representing a problem instance- Returns:
 - the actual problem
 
 
- 
getProblems
public 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]".- Parameters:
 s- some string- Returns:
 - a collection of problems
 
 
- 
isJustificationProblem
public boolean isJustificationProblem()
 
 - 
 
 -