|
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" |
|
|
void | onHandleIntent (Intent intent) |
|
String | handleActionSolve (String program, String options, String filesPath) |
|
Definition at line 10 of file DLVAndroidReasoner.java.
The documentation for this class was generated from the following file: