EmbASP-Programmatic v7.1.0
|
Classes | |
class | SPDDesktopService |
Typedefs | |
using | InputProgram = it.unical.mat.embasp. @base.InputProgram |
using | OptionDescriptor = it.unical.mat.embasp. @base.OptionDescriptor |
using | Output = it.unical.mat.embasp. @base.Output |
using | DesktopService = it.unical.mat.embasp.platforms.desktop.DesktopService |
using it.unical.mat.embasp.specializations.solver_planning_domains.desktop.DesktopService = typedef it.unical.mat.embasp.platforms.desktop.DesktopService |
using it.unical.mat.embasp.specializations.solver_planning_domains.desktop.InputProgram = typedef it.unical.mat.embasp.@base.InputProgram |
using it.unical.mat.embasp.specializations.solver_planning_domains.desktop.OptionDescriptor = typedef it.unical.mat.embasp.@base.OptionDescriptor |
using it.unical.mat.embasp.specializations.solver_planning_domains.desktop.Output = typedef it.unical.mat.embasp.@base.Output |