Package org.tweetyproject.arg.dung.reasoner

Enum ProboProblem

java.lang.Object

java.lang.Enum<ProboProblem>

org.tweetyproject.arg.dung.reasoner.ProboProblem

All Implemented Interfaces:

Serializable, Comparable<ProboProblem>, Constable

public enum ProboProblem
extends 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 enum	ProboProblem.SubProblem	The actual computational sub-problem.

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
D3	D3
DC_ADM	DC_ADM
DC_CF	DC_CF
DC_CF2	DC_CF2
DC_CO	DC_CO
DC_GR	DC_GR
DC_ID	DC_ID
DC_PR	DC_PR
DC_SST	DC_SST
DC_ST	DC_ST
DC_STG	DC_STG
DE_ADM	DE_ADM
DE_CF	DE_CF
DE_CF2	DE_CF2
DE_CO	DE_CO
DE_GR	DE_GR
DE_ID	DE_ID
DE_PR	DE_PR
DE_SST	DE_SST
DE_ST	DE_ST
DE_STG	DE_STG
DL_ADM	DL_ADM
DL_CF	DL_CF
DL_CF2	DL_CF2
DL_CO	DL_CO
DL_GR	DL_GR
DL_ID	DL_ID
DL_PR	DL_PR
DL_SST	DL_SST
DL_ST	DL_ST
DL_STG	DL_STG
DN_ADM	DN_ADM
DN_CF	DN_CF
DN_CF2	DN_CF2
DN_CO	DN_CO
DN_GR	DN_GR
DN_ID	DN_ID
DN_PR	DN_PR
DN_SST	DN_SST
DN_ST	DN_ST
DN_STG	DN_STG
DS_ADM	DS_ADM
DS_CF	DS_CF
DS_CF2	DS_CF2
DS_CO	DS_CO
DS_GR	DS_GR
DS_ID	DS_ID
DS_PR	DS_PR
DS_SST	DS_SST
DS_ST	DS_ST
DS_STG	DS_STG
DX_ADM	DX_ADM
DX_CF	DX_CF
DX_CF2	DX_CF2
DX_CO	DX_CO
DX_GR	DX_GR
DX_ID	DX_ID
DX_PR	DX_PR
DX_SST	DX_SST
DX_ST	DX_ST
DX_STG	DX_STG
EC_ADM	EC_ADM
EC_CF	EC_CF
EC_CF2	EC_CF2
EC_CO	EC_CO
EC_GR	EC_GR
EC_ID	EC_ID
EC_PR	EC_PR
EC_SST	EC_SST
EC_ST	EC_ST
EC_STG	EC_STG
EE_ADM	EE_ADM
EE_CF	EE_CF
EE_CF2	EE_CF2
EE_CO	EE_CO
EE_GR	EE_GR
EE_ID	EE_ID
EE_PR	EE_PR
EE_SST	EE_SST
EE_ST	EE_ST
EE_STG	EE_STG
EL_ADM	EL_ADM
EL_CF	EL_CF
EL_CF2	EL_CF2
EL_CO	EL_CO
EL_GR	EL_GR
EL_ID	EL_ID
EL_PR	EL_PR
EL_SST	EL_SST
EL_ST	EL_ST
EL_STG	EL_STG
ES_ADM	ES_ADM
ES_CF	ES_CF
ES_CF2	ES_CF2
ES_CO	ES_CO
ES_GR	ES_GR
ES_ID	ES_ID
ES_PR	ES_PR
ES_SST	ES_SST
ES_ST	ES_ST
ES_STG	ES_STG
SE_ADM	SE_ADM
SE_CF	SE_CF
SE_CF2	SE_CF2
SE_CO	SE_CO
SE_GR	SE_GR
SE_ID	SE_ID
SE_PR	SE_PR
SE_SST	SE_SST
SE_ST	SE_ST
SE_STG	SE_STG

Method Summary

Modifier and Type	Method	Description
static ProboProblem	getProblem(String s)	Returns the problem instance that corresponds to the given abbreviation.
static Collection<ProboProblem>	getProblems(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.
String	toString()
static ProboProblem	valueOf(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.

Methods inherited from class java.lang.Enum

compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

DC_CF

public static final ProboProblem DC_CF

DC_CF

DC_ADM

public static final ProboProblem DC_ADM

DC_ADM

DC_CO

public static final ProboProblem DC_CO

DC_CO

DC_GR

public static final ProboProblem DC_GR

DC_GR

DC_PR

public static final ProboProblem DC_PR

DC_PR

DC_ST

public static final ProboProblem DC_ST

DC_ST

DC_STG

public static final ProboProblem DC_STG

DC_STG

DC_SST

public static final ProboProblem DC_SST

DC_SST

DC_ID

public static final ProboProblem DC_ID

DC_ID

DC_CF2

public static final ProboProblem DC_CF2

DC_CF2

DS_CF

public static final ProboProblem DS_CF

DS_CF

DS_ADM

public static final ProboProblem DS_ADM

DS_ADM

DS_CO

public static final ProboProblem DS_CO

DS_CO

DS_GR

public static final ProboProblem DS_GR

DS_GR

DS_PR

public static final ProboProblem DS_PR

DS_PR

DS_ST

public static final ProboProblem DS_ST

DS_ST

DS_STG

public static final ProboProblem DS_STG

DS_STG

DS_SST

public static final ProboProblem DS_SST

DS_SST

DS_ID

public static final ProboProblem DS_ID

DS_ID

DS_CF2

public static final ProboProblem DS_CF2

DS_CF2

DE_CF

public static final ProboProblem DE_CF

DE_CF

DE_ADM

public static final ProboProblem DE_ADM

DE_ADM

DE_CO

public static final ProboProblem DE_CO

DE_CO

DE_GR

public static final ProboProblem DE_GR

DE_GR

DE_PR

public static final ProboProblem DE_PR

DE_PR

DE_ST

public static final ProboProblem DE_ST

DE_ST

DE_STG

public static final ProboProblem DE_STG

DE_STG

DE_SST

public static final ProboProblem DE_SST

DE_SST

DE_ID

public static final ProboProblem DE_ID

DE_ID

DE_CF2

public static final ProboProblem DE_CF2

DE_CF2

DL_CF

public static final ProboProblem DL_CF

DL_CF

DL_ADM

public static final ProboProblem DL_ADM

DL_ADM

DL_CO

public static final ProboProblem DL_CO

DL_CO

DL_GR

public static final ProboProblem DL_GR

DL_GR

DL_PR

public static final ProboProblem DL_PR

DL_PR

DL_ST

public static final ProboProblem DL_ST

DL_ST

DL_STG

public static final ProboProblem DL_STG

DL_STG

DL_SST

public static final ProboProblem DL_SST

DL_SST

DL_ID

public static final ProboProblem DL_ID

DL_ID

DL_CF2

public static final ProboProblem DL_CF2

DL_CF2

DX_CF

public static final ProboProblem DX_CF

DX_CF

DX_ADM

public static final ProboProblem DX_ADM

DX_ADM

DX_CO

public static final ProboProblem DX_CO

DX_CO

DX_GR

public static final ProboProblem DX_GR

DX_GR

DX_PR

public static final ProboProblem DX_PR

DX_PR

DX_ST

public static final ProboProblem DX_ST

DX_ST

DX_STG

public static final ProboProblem DX_STG

DX_STG

DX_SST

public static final ProboProblem DX_SST

DX_SST

DX_ID

public static final ProboProblem DX_ID

DX_ID

DX_CF2

public static final ProboProblem DX_CF2

DX_CF2

DN_CF

public static final ProboProblem DN_CF

DN_CF

DN_ADM

public static final ProboProblem DN_ADM

DN_ADM

DN_CO

public static final ProboProblem DN_CO

DN_CO

DN_GR

public static final ProboProblem DN_GR

DN_GR

DN_PR

public static final ProboProblem DN_PR

DN_PR

DN_ST

public static final ProboProblem DN_ST

DN_ST

DN_STG

public static final ProboProblem DN_STG

DN_STG

DN_SST

public static final ProboProblem DN_SST

DN_SST

DN_ID

public static final ProboProblem DN_ID

DN_ID

DN_CF2

public static final ProboProblem DN_CF2

DN_CF2

EC_CF

public static final ProboProblem EC_CF

EC_CF

EC_ADM

public static final ProboProblem EC_ADM

EC_ADM

EC_CO

public static final ProboProblem EC_CO

EC_CO

EC_GR

public static final ProboProblem EC_GR

EC_GR

EC_PR

public static final ProboProblem EC_PR

EC_PR

EC_ST

public static final ProboProblem EC_ST

EC_ST

EC_STG

public static final ProboProblem EC_STG

EC_STG

EC_SST

public static final ProboProblem EC_SST

EC_SST

EC_ID

public static final ProboProblem EC_ID

EC_ID

EC_CF2

public static final ProboProblem EC_CF2

EC_CF2

ES_CF

public static final ProboProblem ES_CF

ES_CF

ES_ADM

public static final ProboProblem ES_ADM

ES_ADM

ES_CO

public static final ProboProblem ES_CO

ES_CO

ES_GR

public static final ProboProblem ES_GR

ES_GR

ES_PR

public static final ProboProblem ES_PR

ES_PR

ES_ST

public static final ProboProblem ES_ST

ES_ST

ES_STG

public static final ProboProblem ES_STG

ES_STG

ES_SST

public static final ProboProblem ES_SST

ES_SST

ES_ID

public static final ProboProblem ES_ID

ES_ID

ES_CF2

public static final ProboProblem ES_CF2

ES_CF2

EE_CF

public static final ProboProblem EE_CF

EE_CF

EE_ADM

public static final ProboProblem EE_ADM

EE_ADM

EE_CO

public static final ProboProblem EE_CO

EE_CO

EE_GR

public static final ProboProblem EE_GR

EE_GR

EE_PR

public static final ProboProblem EE_PR

EE_PR

EE_ST

public static final ProboProblem EE_ST

EE_ST

EE_STG

public static final ProboProblem EE_STG

EE_STG

EE_SST

public static final ProboProblem EE_SST

EE_SST

EE_ID

public static final ProboProblem EE_ID

EE_ID

EE_CF2

public static final ProboProblem EE_CF2

EE_CF2

EL_CF

public static final ProboProblem EL_CF

EL_CF

EL_ADM

public static final ProboProblem EL_ADM

EL_ADM

EL_CO

public static final ProboProblem EL_CO

EL_CO

EL_GR

public static final ProboProblem EL_GR

EL_GR

EL_PR

public static final ProboProblem EL_PR

EL_PR

EL_ST

public static final ProboProblem EL_ST

EL_ST

EL_STG

public static final ProboProblem EL_STG

EL_STG

EL_SST

public static final ProboProblem EL_SST

EL_SST

EL_ID

public static final ProboProblem EL_ID

EL_ID

EL_CF2

public static final ProboProblem EL_CF2

EL_CF2

SE_CF

public static final ProboProblem SE_CF

SE_CF

SE_ADM

public static final ProboProblem SE_ADM

SE_ADM

SE_STG

public static final ProboProblem SE_STG

SE_STG

SE_SST

public static final ProboProblem SE_SST

SE_SST

SE_ID

public static final ProboProblem SE_ID

SE_ID

SE_CF2

public static final ProboProblem SE_CF2

SE_CF2

SE_CO

public static final ProboProblem SE_CO

SE_CO

SE_GR

public static final ProboProblem SE_GR

SE_GR

SE_PR

public static final ProboProblem SE_PR

SE_PR

SE_ST

public static final ProboProblem SE_ST

SE_ST

D3

public static final ProboProblem D3

D3

Method Details

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(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:

IllegalArgumentException - if this enum type has no constant with the specified name

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 String toString()

Overrides:

toString in class Enum<ProboProblem>

getProblem

public static ProboProblem getProblem(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 Collection<ProboProblem> getProblems(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()

Returns:

if problem is justified