EmbASP-Java
Public Member Functions | List of all members
it.unical.mat.embasp.base.Service Interface Reference
Inheritance diagram for it.unical.mat.embasp.base.Service:
it.unical.mat.embasp.platforms.android.AndroidReceiver it.unical.mat.embasp.platforms.android.AndroidService it.unical.mat.embasp.platforms.desktop.DesktopService it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService it.unical.mat.embasp.specializations.solver_planning_domains.android.SPDAndroidService it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService

Public Member Functions

void startAsync (Callback callback, List< InputProgram > programs, List< OptionDescriptor > options)
 
Output startSync (List< InputProgram > programs, List< OptionDescriptor > options)
 

Detailed Description

Contains generic methods for ASP Solver execution .

See also
List

Definition at line 10 of file Service.java.

Member Function Documentation

◆ startAsync()

void it.unical.mat.embasp.base.Service.startAsync ( Callback  callback,
List< InputProgram programs,
List< OptionDescriptor options 
)

◆ startSync()

Output it.unical.mat.embasp.base.Service.startSync ( List< InputProgram programs,
List< OptionDescriptor options 
)

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

Parameters
programsa list of InputProgram used as data.
optionsa list of OptionDescriptor used as options.
Returns
Output element filled with results

Implemented in it.unical.mat.embasp.platforms.android.AndroidService, it.unical.mat.embasp.platforms.desktop.DesktopService, it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService, and it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.


The documentation for this interface was generated from the following file: