EmbASP-Java v7.1.0
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_SOLVEit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
DLVAndroidReasoner()it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinline
FILENAMEit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
FILESit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
handleActionSolve(String program, String options, String filesPath)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinlineprotected
onDestroy()it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinline
onHandleIntent(Intent intent)it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerinlineprotected
OPTIONit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
PROGRAMit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
RESULT_NOTIFICATIONit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic
SOLVER_RESULTit.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasonerstatic