| Interface | Description |
|---|---|
| Callback |
This interface is used to communicate results of solver invocation to the user
|
| Service |
Contains generic methods for ASP Solver execution .
|
| Class | Description |
|---|---|
| Handler |
A collection of
InputProgram and OptionDescriptor. |
| InputProgram |
Represents a generic option
|
| OptionDescriptor |
Represents options for a generic ASP programs
|
| Output |
represents a generic output for a solver
|