EmbASP-Java
Classes | Public Member Functions | List of all members
it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService Class Reference
Inheritance diagram for it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService:
it.unical.mat.embasp.platforms.android.AndroidService it.unical.mat.embasp.base.Service

Public Member Functions

 DLV2AndroidService (Context c)
 
void startAsync (Callback callback, List< InputProgram > programs, List< OptionDescriptor > options)
 
- Public Member Functions inherited from it.unical.mat.embasp.platforms.android.AndroidService
 AndroidService (Context c)
 
Output startSync (List< InputProgram > programs, List< OptionDescriptor > options)
 

Additional Inherited Members

- Protected Attributes inherited from it.unical.mat.embasp.platforms.android.AndroidService
Context context
 

Detailed Description

DLV2 solver for Android platforms

Definition at line 22 of file DLV2AndroidService.java.

Member Function Documentation

◆ startAsync()

void it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService.startAsync ( Callback  callback,
List< InputProgram programs,
List< OptionDescriptor options 
)
inline
See also
#startAsync(Callback, List, List)

Reimplemented from it.unical.mat.embasp.platforms.android.AndroidService.

Definition at line 51 of file DLV2AndroidService.java.


The documentation for this class was generated from the following file: