public abstract class AbstractSolver extends java.lang.Object implements InterfaceSolver
Constructor and Description |
---|
AbstractSolver() |
Modifier and Type | Method and Description |
---|---|
void |
execute(java.lang.String[] args)
This is the main method of the solver.
|
abstract java.lang.String |
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.
|
abstract java.util.Collection<FileFormat> |
supportedFormats()
Gives a collection view of the supported formats of this solver, cf.
|
abstract java.util.Collection<Problem> |
supportedProblems()
Gives a collection view on the supported problems of this solver, cf.
|
abstract java.lang.String |
versionInfo()
Returns author and version information of the solver as a string.
|
public abstract java.lang.String versionInfo()
InterfaceSolver
versionInfo
in interface InterfaceSolver
public abstract java.util.Collection<FileFormat> supportedFormats()
InterfaceSolver
FileFormat
.
For a description of these formats see the handbook for the argumentation competition.supportedFormats
in interface InterfaceSolver
public abstract java.util.Collection<Problem> supportedProblems()
InterfaceSolver
Problem
.
For a description of these problems see the handbook for the argumentation competition.supportedProblems
in interface InterfaceSolver
public abstract java.lang.String solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters) throws java.io.IOException, java.lang.IllegalArgumentException
InterfaceSolver
solve
in interface InterfaceSolver
problem
- the problem type to be solved.input
- the input (an abstract argumentation graph)format
- the format of the input fileadditionalParameters
- additional parameters for the problem (maybe "null" if no further parameters are given)java.io.IOException
- in case of errors in accessing the input file.java.lang.IllegalArgumentException
- if this solver is not able to solve the given problem or does not understand the format.public void execute(java.lang.String[] args)
InterfaceSolver
execute
in interface InterfaceSolver
args
- command line arguments