net.sf.tweety.arg.dung.prover

Interface InterfaceSolver

All Known Implementing Classes:

AbstractDungSolver, AbstractSolver, GroundTruthSolver, ProboSolver, TweetySolver

public interface InterfaceSolver

The most general interface for solvers of argumentation problems. If you want to develop a solver, better use AbstractSolver or even better AbstractDungSolver as these already contain basic functionalities.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
void	execute(String[] args) This is the main method of the solver.
String	solve(Problem problem, File input, FileFormat format, String additionalParameters) Solves the given problem on the given file (represented in the given format) with possibly additional parameters.
Collection<FileFormat>	supportedFormats() Gives a collection view of the supported formats of this solver, cf.
Collection<Problem>	supportedProblems() Gives a collection view on the supported problems of this solver, cf.
String	versionInfo() Returns author and version information of the solver as a string.

Method Detail

versionInfo

String versionInfo()

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

Returns:

a string containing author and version information of the solver.

supportedFormats

Collection<FileFormat> supportedFormats()

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.

Returns:

a collection view of the supported formats of this solver.

supportedProblems

Collection<Problem> supportedProblems()

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.

Returns:

a collection view on the supported problems of this solver.

solve

String solve(Problem problem,
             File input,
             FileFormat format,
             String additionalParameters)
      throws IOException,
             IllegalArgumentException

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

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:

IOException - in case of errors in accessing the input file.

IllegalArgumentException - if this solver is not able to solve the given problem or does not understand the format.

execute

void execute(String[] args)

This is the main method of the solver. It receives all command line arguments and prints its solution of System.out. An actual implementation of a solver must then only contain a main method of the form "public static void main(String[] args){ new MySolver().execute(args); }".

Parameters:

args - command line arguments