EmbASP-Java v7.1.0
|
Public Member Functions | |
DLV2AndroidService (Context c) | |
void | startAsync (Callback callback, List< InputProgram > programs, List< OptionDescriptor > options) |
![]() | |
AndroidService (Context c) | |
Output | startSync (List< InputProgram > programs, List< OptionDescriptor > options) |
Additional Inherited Members | |
![]() | |
Context | context |
DLV2 solver for Android platforms
|
inline |
|
inline |
Reimplemented from it.unical.mat.embasp.platforms.android.AndroidService.