◆ DLV2AndroidReasoner()
it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner.DLV2AndroidReasoner |
( |
| ) |
|
|
inline |
◆ handleActionSolve()
String it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner.handleActionSolve |
( |
String |
program, |
|
|
String |
options, |
|
|
String |
filesPath |
|
) |
| |
|
inline |
◆ onDestroy()
void it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner.onDestroy |
( |
| ) |
|
|
inline |
◆ onHandleIntent()
void it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner.onHandleIntent |
( |
Intent |
intent | ) |
|
|
inlineprotected |
The documentation for this class was generated from the following file: