public class ProboSolver extends AbstractSolver
Modifier and Type | Field and Description |
---|---|
private Shell |
bash |
(package private) java.lang.String |
path_to_exec |
Constructor and Description |
---|
ProboSolver(java.lang.String path_to_exec,
Shell bash)
Constructs a new instance of ProboSolver
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Extension> |
enumerate(Problem problem,
DungTheory aaf,
FileFormat format)
Solves the given enumeration problem on the given AAF with
|
boolean |
justify(Problem problem,
DungTheory aaf,
FileFormat format,
Argument arg)
Solves the given justification problem on the given AAF
|
java.lang.String |
solve(Problem problem,
DungTheory aaf,
FileFormat format,
java.lang.String additionalParameters)
Solves the given problem on the given AAF with possibly
additional parameters.
|
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
java.lang.String path_to_exec
private Shell bash
public ProboSolver(java.lang.String path_to_exec, Shell bash)
path_to_exec
- the path to the ICMMA-compliant solverbash
- the shell which should be used to run the solverpublic 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.public java.lang.String solve(Problem problem, DungTheory aaf, FileFormat format, java.lang.String additionalParameters) throws java.io.IOException, java.lang.IllegalArgumentException
problem
- the problem type to be solved.aaf
- the AAF to be solvedformat
- the format of the intermediary filesadditionalParameters
- 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.public boolean justify(Problem problem, DungTheory aaf, FileFormat format, Argument arg) throws java.io.IOException, java.lang.IllegalArgumentException
problem
- the justification problem type to be solved.aaf
- the AAF to be solvedformat
- the format of the intermediary filesarg
- the argument to be justifiedjava.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.public java.util.Set<Extension> enumerate(Problem problem, DungTheory aaf, FileFormat format) throws java.io.IOException, java.lang.IllegalArgumentException
problem
- the justification problem type to be solved.aaf
- the AAF to be solvedformat
- the format of the intermediary filesjava.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.