Constructor and Description |
---|
AndroidReceiver(AndroidService service) |
Modifier and Type | Class and Description |
---|---|
class |
DLVAndroidService
DLV solver for Android platforms
|
Modifier and Type | Class and Description |
---|---|
class |
DLV2AndroidService
DLV2 solver for Android platforms
|
Modifier and Type | Class and Description |
---|---|
class |
SPDAndroidService |