|
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" |
|
◆ DLVAndroidReasoner()
it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.DLVAndroidReasoner |
( |
| ) |
|
|
inline |
◆ handleActionSolve()
String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.handleActionSolve |
( |
String |
program, |
|
|
String |
options, |
|
|
String |
filesPath |
|
) |
| |
|
inlineprotected |
◆ onDestroy()
void it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.onDestroy |
( |
| ) |
|
|
inline |
◆ onHandleIntent()
void it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.onHandleIntent |
( |
Intent |
intent | ) |
|
|
inlineprotected |
◆ ACTION_SOLVE
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.ACTION_SOLVE = "it.unical.mat.embasp.specializations.dlv.android.SOLVE" |
|
static |
◆ FILENAME
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.FILENAME = "tmp_program" |
|
static |
◆ FILES
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.FILES = "it.unical.mat.embasp.specializations.dlv.android.FILES" |
|
static |
◆ OPTION
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.OPTION = "it.unical.mat.embasp.specializations.dlv.android.OPTION" |
|
static |
◆ PROGRAM
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.PROGRAM = "it.unical.mat.embasp.specializations.dlv.android.PROGRAM" |
|
static |
◆ RESULT_NOTIFICATION
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.RESULT_NOTIFICATION = "it.unical.mat.embasp.specializations.dlv.android.RESULT_NOTIFICATION" |
|
static |
◆ SOLVER_RESULT
final String it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.SOLVER_RESULT = "it.unical.mat.embasp.specializations.dlv.android.SOLVER_RESULT" |
|
static |
The documentation for this class was generated from the following file: