| Package | Description |
|---|---|
| net.sf.tweety.arg.dung.prover |
| Class and Description |
|---|
| AbstractDungSolver
This class extends
AbstractSolver further by parsing
abstract argumentation theories (for all formats) into the Tweety
data structures. |
| AbstractSolver
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); }". |
| InterfaceSolver
The most general interface for solvers of argumentation problems.
|