public class ProboSolver extends AbstractSolver
| Constructor and Description |
|---|
ProboSolver(String path_to_exec,
net.sf.tweety.commons.util.Shell bash)
Constructs a new instance of ProboSolver
|
| Modifier and Type | Method and Description |
|---|---|
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
|
String |
solve(Problem problem,
DungTheory aaf,
FileFormat format,
String additionalParameters)
Solves the given problem on the given AAF with possibly
additional parameters.
|
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.
|
executepublic ProboSolver(String path_to_exec, net.sf.tweety.commons.util.Shell bash)
path_to_exec - the path to the ICMMA-compliant solverbash - the shell which should be used to run the solverpublic String versionInfo()
InterfaceSolverversionInfo in interface InterfaceSolverversionInfo in class AbstractSolverpublic Collection<FileFormat> supportedFormats()
InterfaceSolverFileFormat.
For a description of these formats see the handbook for the argumentation competition.supportedFormats in interface InterfaceSolversupportedFormats in class AbstractSolverpublic Collection<Problem> supportedProblems()
InterfaceSolverProblem.
For a description of these problems see the handbook for the argumentation competition.supportedProblems in interface InterfaceSolversupportedProblems in class AbstractSolverpublic String solve(Problem problem, File input, FileFormat format, String additionalParameters) throws IOException, IllegalArgumentException
InterfaceSolversolve in interface InterfaceSolversolve in class AbstractSolverproblem - 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)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.public String solve(Problem problem, DungTheory aaf, FileFormat format, String additionalParameters) throws IOException, 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)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.public boolean justify(Problem problem, DungTheory aaf, FileFormat format, Argument arg) throws IOException, 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 justifiedIOException - 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.public Set<Extension> enumerate(Problem problem, DungTheory aaf, FileFormat format) throws IOException, IllegalArgumentException
problem - the justification problem type to be solved.aaf - the AAF to be solvedformat - the format of the intermediary filesIOException - 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.Copyright © 2018. All rights reserved.