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.
|