net.sf.tweety.arg.dung.prover

Class AbstractSolver

java.lang.Object

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

All Implemented Interfaces:

InterfaceSolver

Direct Known Subclasses:

AbstractDungSolver, GroundTruthSolver, ProboSolver

public abstract class AbstractSolver
extends java.lang.Object
implements InterfaceSolver

An abstract implementation of a solver that provides a command line interface.
NOTE: 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); }".

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractSolver()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSolver

public AbstractSolver()

Method Detail

versionInfo

public abstract 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

Returns:

a string containing author and version information of the solver.

supportedFormats

public abstract 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

Returns:

a collection view of the supported formats of this solver.

supportedProblems

public abstract 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

Returns:

a collection view on the supported problems of this solver.

solve

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

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

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.

execute

public void execute(java.lang.String[] args)

Description copied from interface: InterfaceSolver

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); }".

Specified by:

execute in interface InterfaceSolver

Parameters:

args - command line arguments