A C D F G H I M O P R S T U V

S

Service - Interface in it.unical.mat.embasp.base

Contains generic methods for ASP Solver execution .

setErrors(String) - Method in class it.unical.mat.embasp.base.Output

setExePath(String) - Method in class it.unical.mat.embasp.platforms.desktop.DesktopService

set DesktopService.exe_path to a new path*

setName(String) - Method in class it.unical.mat.embasp.languages.pddl.Action

setOptions(String) - Method in class it.unical.mat.embasp.base.OptionDescriptor

setOutput(String) - Method in class it.unical.mat.embasp.base.Output

setPrograms(String) - Method in class it.unical.mat.embasp.base.InputProgram

sets InputProgram.programs value to the new given one

setSeparator(String) - Method in class it.unical.mat.embasp.base.InputProgram

Set programs separator to current value

setSeparator(String) - Method in class it.unical.mat.embasp.base.OptionDescriptor

Set OptionDescriptor.separator character with new separator

setValue(String) - Method in class it.unical.mat.embasp.languages.asp.SymbolicConstant

SOLVER_RESULT - Static variable in class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner

SPDAndroidService - Class in it.unical.mat.embasp.specializations.solver_planning_domains.android

SPDAndroidService(Context) - Constructor for class it.unical.mat.embasp.specializations.solver_planning_domains.android.SPDAndroidService

SPDDesktopService - Class in it.unical.mat.embasp.specializations.solver_planning_domains.desktop

SPDDesktopService() - Constructor for class it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService

SPDPlan - Class in it.unical.mat.embasp.specializations.solver_planning_domains

SPDPlan(String, String) - Constructor for class it.unical.mat.embasp.specializations.solver_planning_domains.SPDPlan

SPDUtility - Class in it.unical.mat.embasp.specializations.solver_planning_domains

SPDUtility() - Constructor for class it.unical.mat.embasp.specializations.solver_planning_domains.SPDUtility

startAsync(Callback) - Method in class it.unical.mat.embasp.base.Handler

startAsync(Callback, List<Integer>, List<Integer>) - Method in class it.unical.mat.embasp.base.Handler

This method have to be implemented by subclasses to execute solver in a asynchronous way, if no parameters are given the entire sets of programs and option are used

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in interface it.unical.mat.embasp.base.Service

Starts ASP solving Asyncronously on a subset of data and options.

startAsync(Callback) - Method in class it.unical.mat.embasp.platforms.android.AndroidHandler

startAsync(Callback, List<Integer>, List<Integer>) - Method in class it.unical.mat.embasp.platforms.android.AndroidHandler

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.platforms.android.AndroidService

startAsync(Callback, List<Integer>, List<Integer>) - Method in class it.unical.mat.embasp.platforms.desktop.DesktopHandler

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.platforms.desktop.DesktopService

Start a new process for the DesktopService.exe_path and starts solving

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService

startAsync(Callback, List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.solver_planning_domains.android.SPDAndroidService

startSync() - Method in class it.unical.mat.embasp.base.Handler

startSync(List<Integer>, List<Integer>) - Method in class it.unical.mat.embasp.base.Handler

This method have to be implemented by subclasses to execute solver in a synchronous way, if no parameters are given the entire sets of programs and option are used

startSync(List<InputProgram>, List<OptionDescriptor>) - Method in interface it.unical.mat.embasp.base.Service

Starts ASP solving Syncronously on a subset of data and options.

startSync(List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.platforms.android.AndroidService

Android don't have the capability to perform long tasking operation synchronously

startSync(List<Integer>, List<Integer>) - Method in class it.unical.mat.embasp.platforms.desktop.DesktopHandler

startSync(List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.platforms.desktop.DesktopService

Start a new process for the DesktopService.exe_path and starts solving

startSync(List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService

startSync(List<InputProgram>, List<OptionDescriptor>) - Method in class it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService

storeAction(String) - Method in class it.unical.mat.embasp.languages.pddl.Plan

storeAtom(String) - Method in class it.unical.mat.embasp.languages.asp.AnswerSets

storeCost(int, int) - Method in class it.unical.mat.embasp.languages.asp.AnswerSets

SymbolicConstant - Class in it.unical.mat.embasp.languages.asp

SymbolicConstant() - Constructor for class it.unical.mat.embasp.languages.asp.SymbolicConstant

SymbolicConstant(String) - Constructor for class it.unical.mat.embasp.languages.asp.SymbolicConstant

A C D F G H I M O P R S T U V