EmbASP-Java
Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner Class Reference
Inheritance diagram for it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner:

Public Member Functions

void onDestroy ()
 

Static Public Attributes

static final String FILENAME = "tmp_program"
 
static final String ACTION_SOLVE = "it.unical.mat.embasp.specializations.dlv.android.SOLVE"
 
static final String PROGRAM = "it.unical.mat.embasp.specializations.dlv.android.PROGRAM"
 
static final String OPTION = "it.unical.mat.embasp.specializations.dlv.android.OPTION"
 
static final String FILES = "it.unical.mat.embasp.specializations.dlv.android.FILES"
 
static final String SOLVER_RESULT = "it.unical.mat.embasp.specializations.dlv.android.SOLVER_RESULT"
 
static final String RESULT_NOTIFICATION = "it.unical.mat.embasp.specializations.dlv.android.RESULT_NOTIFICATION"
 

Protected Member Functions

void onHandleIntent (Intent intent)
 
String handleActionSolve (String program, String options, String filesPath)
 

Detailed Description

Definition at line 10 of file DLVAndroidReasoner.java.


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