public interface InterfaceSolver
AbstractSolver
or even better AbstractDungSolver
as these already contain basic functionalities.Modifier and Type | Method and Description |
---|---|
void |
execute(java.lang.String[] args)
This is the main method of the solver.
|
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.
|
java.util.Collection<FileFormat> |
supportedFormats()
Gives a collection view of the supported formats of this solver, cf.
|
java.util.Collection<Problem> |
supportedProblems()
Gives a collection view on the supported problems of this solver, cf.
|
java.lang.String |
versionInfo()
Returns author and version information of the solver as a string.
|
java.lang.String versionInfo()
java.util.Collection<FileFormat> supportedFormats()
FileFormat
.
For a description of these formats see the handbook for the argumentation competition.java.util.Collection<Problem> supportedProblems()
Problem
.
For a description of these problems see the handbook for the argumentation competition.java.lang.String solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters) throws java.io.IOException, java.lang.IllegalArgumentException
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.void execute(java.lang.String[] args)
args
- command line arguments