Package | Description |
---|---|
net.sf.tweety.arg.dung.reasoner |
Modifier and Type | Method and Description |
---|---|
static ProboProblem |
ProboProblem.getProblem(java.lang.String s)
Returns the problem instance that corresponds to the given abbreviation.
|
static ProboProblem |
ProboProblem.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProboProblem[] |
ProboProblem.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<ProboProblem> |
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]".
|
private java.util.Collection<ProboProblem> |
ProboReasoner.supportedProblems()
Gives a collection view on the supported problems of this solver, cf.
|