Uses of Class
net.sf.tweety.arg.dung.semantics.Problem

Packages that use Problem

Package	Description
net.sf.tweety.arg.dung.prover
net.sf.tweety.arg.dung.semantics

Uses of Problem in net.sf.tweety.arg.dung.prover

Methods in net.sf.tweety.arg.dung.prover that return types with arguments of type Problem

Modifier and Type	Method and Description
java.util.Collection<Problem>	TweetySolver.supportedProblems()
java.util.Collection<Problem>	ProboSolver.supportedProblems()
java.util.Collection<Problem>	InterfaceSolver.supportedProblems() Gives a collection view on the supported problems of this solver, cf.
java.util.Collection<Problem>	GroundTruthSolver.supportedProblems()
abstract java.util.Collection<Problem>	AbstractSolver.supportedProblems()
abstract java.util.Collection<Problem>	AbstractDungSolver.supportedProblems()

Methods in net.sf.tweety.arg.dung.prover with parameters of type Problem

Modifier and Type	Method and Description
java.util.Set<Extension>	ProboSolver.enumerate(Problem problem, DungTheory aaf, FileFormat format) Solves the given enumeration problem on the given AAF with
boolean	ProboSolver.justify(Problem problem, DungTheory aaf, FileFormat format, Argument arg) Solves the given justification problem on the given AAF
java.lang.String	ProboSolver.solve(Problem problem, DungTheory aaf, FileFormat format, java.lang.String additionalParameters) Solves the given problem on the given AAF with possibly additional parameters.
java.lang.String	ProboSolver.solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters)
java.lang.String	InterfaceSolver.solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters) Solves the given problem on the given file (represented in the given format) with possibly additional parameters.
java.lang.String	GroundTruthSolver.solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters)
abstract java.lang.String	AbstractSolver.solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters)
java.lang.String	AbstractDungSolver.solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters)

Uses of Problem in net.sf.tweety.arg.dung.semantics

Methods in net.sf.tweety.arg.dung.semantics that return Problem

Modifier and Type	Method and Description
static Problem	Problem.getProblem(java.lang.String s) Returns the problem instance that corresponds to the given abbreviation.
static Problem	Problem.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Problem[]	Problem.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in net.sf.tweety.arg.dung.semantics that return types with arguments of type Problem

Modifier and Type	Method and Description
static java.util.Collection<Problem>	Problem.getProblems(java.lang.String s) Returns a collection of problems parsed from the given string which has to be in the format "[problem1,...,problemn]".