public class GroundTruthSolver extends AbstractSolver
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
pathToGroundTruth
The path to the ground truth files.
|
Constructor and Description |
---|
GroundTruthSolver(java.lang.String pathToGroundTruth)
Creates a new solver that reads solutions from the given
path.
|
Modifier and Type | Method and Description |
---|---|
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.
|
execute
private java.lang.String pathToGroundTruth
public GroundTruthSolver(java.lang.String pathToGroundTruth)
pathToGroundTruth
- public java.lang.String versionInfo()
InterfaceSolver
versionInfo
in interface InterfaceSolver
versionInfo
in class AbstractSolver
public java.util.Collection<FileFormat> supportedFormats()
InterfaceSolver
FileFormat
.
For a description of these formats see the handbook for the argumentation competition.supportedFormats
in interface InterfaceSolver
supportedFormats
in class AbstractSolver
public java.util.Collection<Problem> supportedProblems()
InterfaceSolver
Problem
.
For a description of these problems see the handbook for the argumentation competition.supportedProblems
in interface InterfaceSolver
supportedProblems
in class AbstractSolver
public 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
solve
in class AbstractSolver
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.