it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService Class Reference

Inheritance diagram for it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService:

Public Member Functions
	DLVAndroidService (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

DLV solver for Android platforms

Constructor & Destructor Documentation

DLVAndroidService()

it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService.DLVAndroidService ( Context  c )

inline

Member Function Documentation

startAsync()

void it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService.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.

---

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

• embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/specializations/dlv/android/DLVAndroidService.narrative