Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Output
represents a generic output for a solver
|
Class and Description |
---|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Output
represents a generic output for a solver
|
Class and Description |
---|
InputProgram
Represents a generic option
|
Output
represents a generic output for a solver
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
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
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
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
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Output
represents a generic output for a solver
|
Class and Description |
---|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
OptionDescriptor
Represents options for a generic ASP programs
|
Output
represents a generic output for a solver
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Output
represents a generic output for a solver
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Output
represents a generic output for a solver
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
Output
represents a generic output for a solver
|
Class and Description |
---|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
InputProgram
Represents a generic option
|
Output
represents a generic output for a solver
|
Class and Description |
---|
Callback
This interface is used to communicate results of solver invocation to the user
|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Service
Contains generic methods for ASP Solver execution .
|
Class and Description |
---|
InputProgram
Represents a generic option
|
OptionDescriptor
Represents options for a generic ASP programs
|
Output
represents a generic output for a solver
|
Service
Contains generic methods for ASP Solver execution .
|