Constructor and Description |
---|
DesktopHandler(DesktopService service) |
Modifier and Type | Class and Description |
---|---|
class |
ClingoDesktopService
is an extention of
DesktopService for Clingo 's solver |
Modifier and Type | Class and Description |
---|---|
class |
DLVDesktopService
DLV Solver for Desktop platforms
|
Modifier and Type | Class and Description |
---|---|
class |
DLV2DesktopService
is an extention of
DesktopService for DLV2 solver |
Modifier and Type | Class and Description |
---|---|
class |
DLVHEXDesktopService |
Modifier and Type | Class and Description |
---|---|
class |
SPDDesktopService |