Constant Field Values

Contents

• it.unical.*

it.unical.*

it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner

Modifier and Type	Constant Field	Value
public static final java.lang.String	ACTION_SOLVE	"it.unical.mat.embasp.specializations.dlv.android.SOLVE"
public static final java.lang.String	FILENAME	"tmp_program"
public static final java.lang.String	FILES	"it.unical.mat.embasp.specializations.dlv.android.FILES"
public static final java.lang.String	OPTION	"it.unical.mat.embasp.specializations.dlv.android.OPTION"
public static final java.lang.String	PROGRAM	"it.unical.mat.embasp.specializations.dlv.android.PROGRAM"
public static final java.lang.String	RESULT_NOTIFICATION	"it.unical.mat.embasp.specializations.dlv.android.RESULT_NOTIFICATION"
public static final java.lang.String	SOLVER_RESULT	"it.unical.mat.embasp.specializations.dlv.android.SOLVER_RESULT"