EmbASP-Java
|
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
Definition at line 22 of file DLV2AndroidService.java.
|
inline |
Reimplemented from it.unical.mat.embasp.platforms.android.AndroidService.
Definition at line 51 of file DLV2AndroidService.java.