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 class
ProboProblem.SubProblem
The actual computational sub-problem.
-
Enum Constant Summary
Enum Constants Enum Constant 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
-
Method Summary
Modifier and Type Method 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.
-
-
-
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
-
-
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:
toString
in 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()
-
-