EmbASP-Java
|
Public Member Functions | |
DLVAndroidService (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 |
DLV solver for Android platforms
Definition at line 20 of file DLVAndroidService.java.
|
inline |
Reimplemented from it.unical.mat.embasp.platforms.android.AndroidService.
Definition at line 49 of file DLVAndroidService.java.