net.sf.tweety.arg.dung.prover

Class GroundTruthSolver

java.lang.Object

net.sf.tweety.arg.dung.prover.AbstractSolver

net.sf.tweety.arg.dung.prover.GroundTruthSolver

All Implemented Interfaces:

InterfaceSolver

public class GroundTruthSolver
extends AbstractSolver

This class implements a solver for providing the ground truth of problems. The ground truth is read from external files and simply returned.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	pathToGroundTruth The path to the ground truth files.

Constructor Summary

Constructors

Constructor and Description
GroundTruthSolver(java.lang.String pathToGroundTruth) Creates a new solver that reads solutions from the given path.

Method Summary

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.

Methods inherited from class net.sf.tweety.arg.dung.prover.AbstractSolver

execute

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pathToGroundTruth

private java.lang.String pathToGroundTruth

The path to the ground truth files.

Constructor Detail

GroundTruthSolver

public GroundTruthSolver(java.lang.String pathToGroundTruth)

Creates a new solver that reads solutions from the given path.

Parameters:

pathToGroundTruth -

Method Detail

versionInfo

public java.lang.String versionInfo()

Description copied from interface: InterfaceSolver

Returns author and version information of the solver as a string.

Specified by:

versionInfo in interface InterfaceSolver

Specified by:

versionInfo in class AbstractSolver

Returns:

a string containing author and version information of the solver.

supportedFormats

public java.util.Collection<FileFormat> supportedFormats()

Description copied from interface: InterfaceSolver

Gives a collection view of the supported formats of this solver, cf. FileFormat. For a description of these formats see the handbook for the argumentation competition.

Specified by:

supportedFormats in interface InterfaceSolver

Specified by:

supportedFormats in class AbstractSolver

Returns:

a collection view of the supported formats of this solver.

supportedProblems

public java.util.Collection<Problem> supportedProblems()

Description copied from interface: InterfaceSolver

Gives a collection view on the supported problems of this solver, cf. Problem. For a description of these problems see the handbook for the argumentation competition.

Specified by:

supportedProblems in interface InterfaceSolver

Specified by:

supportedProblems in class AbstractSolver

Returns:

a collection view on the supported problems of this solver.

solve

public java.lang.String solve(Problem problem,
                              java.io.File input,
                              FileFormat format,
                              java.lang.String additionalParameters)
                       throws java.io.IOException,
                              java.lang.IllegalArgumentException

Description copied from interface: InterfaceSolver

Solves the given problem on the given file (represented in the given format) with possibly additional parameters.

Specified by:

solve in interface InterfaceSolver

Specified by:

solve in class AbstractSolver

Parameters:

problem - the problem type to be solved.

input - the input (an abstract argumentation graph)

format - the format of the input file

additionalParameters - additional parameters for the problem (maybe "null" if no further parameters are given)

Returns:

A string representing the solution to the given problem.

Throws:

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.