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
Member Function Documentation
◆ startAsync()
| void it.unical.mat.embasp.base.Service.startAsync | ( | Callback | callback, |
| List< InputProgram > | programs, | ||
| List< OptionDescriptor > | options | ||
| ) |
Starts ASP solving Asyncronously on a subset of data and options.
- Parameters
-
programs a list of InputProgram used as data. options a list of OptionDescriptor used as options. callback interface used to interact with user
- See also
- Callback
Implemented in it.unical.mat.embasp.specializations.solver_planning_domains.android.SPDAndroidService, it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService, it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService, it.unical.mat.embasp.platforms.desktop.DesktopService, it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService, it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService, and it.unical.mat.embasp.platforms.android.AndroidService.
◆ 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
-
programs a list of InputProgram used as data. options a 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.specializations.idlv.desktop.IDLVDesktopService, it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService, it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService, and it.unical.mat.embasp.platforms.desktop.DesktopService.
The documentation for this interface was generated from the following file:
- embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/base/Service.narrative
