EmbASP-Java v7.1.0
Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner Class Reference
Inheritance diagram for it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner:

Public Member Functions

 DLVAndroidReasoner ()
 
void onDestroy ()
 

Static Public Attributes

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"
 

Protected Member Functions

void onHandleIntent (Intent intent)
 
String handleActionSolve (String program, String options, String filesPath)
 

Constructor & Destructor Documentation

◆ DLVAndroidReasoner()

it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner.DLVAndroidReasoner ( )
inline

Member Function Documentation

◆ 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

Member Data Documentation

◆ 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: