EmbASP-Java
it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner Member List

This is the complete list of members for it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner, including all inherited members.

ACTION_SOLVE (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
DLVAndroidReasoner() (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinline
FILENAME (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
FILES (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
handleActionSolve(String program, String options, String filesPath) (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinlineprotected
onDestroy() (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinline
onHandleIntent(Intent intent) (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinlineprotected
OPTION (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
PROGRAM (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
RESULT_NOTIFICATION (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
SOLVER_RESULT (defined in it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic