Package net.sf.tweety.arg.dung.reasoner
Enum ProboProblem.SubProblem
- java.lang.Object
-
- java.lang.Enum<ProboProblem.SubProblem>
-
- net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<ProboProblem.SubProblem>
,java.lang.constant.Constable
- Enclosing class:
- ProboProblem
public static enum ProboProblem.SubProblem extends java.lang.Enum<ProboProblem.SubProblem>
The actual computational sub-problem.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method Description java.lang.String
abbreviation()
Returns the abbreviation of the sub-problem.java.lang.String
description()
Returns the description of the sub-problem.boolean
isJustificationProblem()
static ProboProblem.SubProblem
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static ProboProblem.SubProblem[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
DC
public static final ProboProblem.SubProblem DC
-
DS
public static final ProboProblem.SubProblem DS
-
DE
public static final ProboProblem.SubProblem DE
-
DL
public static final ProboProblem.SubProblem DL
-
DX
public static final ProboProblem.SubProblem DX
-
DN
public static final ProboProblem.SubProblem DN
-
EC
public static final ProboProblem.SubProblem EC
-
ES
public static final ProboProblem.SubProblem ES
-
EE
public static final ProboProblem.SubProblem EE
-
EL
public static final ProboProblem.SubProblem EL
-
SE
public static final ProboProblem.SubProblem SE
-
-
Method Detail
-
values
public static ProboProblem.SubProblem[] 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.SubProblem 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
-
description
public java.lang.String description()
Returns the description of the sub-problem.- Returns:
- the description of the sub-problem.
-
abbreviation
public java.lang.String abbreviation()
Returns the abbreviation of the sub-problem.- Returns:
- the abbreviation of the sub-problem.
-
isJustificationProblem
public boolean isJustificationProblem()
-
-