it.unical.mat.embasp.specializations.solver_planning_domains Namespace Reference

Namespaces
namespace	desktop

Classes
class	SPDPlan
class	SPDUtility

Typedefs
using	Plan = it.unical.mat.embasp.languages.pddl.Plan
using	InputProgram = it.unical.mat.embasp. @base.InputProgram
using	PDDLException = it.unical.mat.embasp.languages.pddl.PDDLException
using	PDDLInputProgram = it.unical.mat.embasp.languages.pddl.PDDLInputProgram

Typedef Documentation

InputProgram

using it.unical.mat.embasp.specializations.solver_planning_domains.InputProgram = typedef it.unical.mat.embasp.@base.InputProgram

PDDLException

using it.unical.mat.embasp.specializations.solver_planning_domains.PDDLException = typedef it.unical.mat.embasp.languages.pddl.PDDLException

PDDLInputProgram

using it.unical.mat.embasp.specializations.solver_planning_domains.PDDLInputProgram = typedef it.unical.mat.embasp.languages.pddl.PDDLInputProgram

Plan

using it.unical.mat.embasp.specializations.solver_planning_domains.Plan = typedef it.unical.mat.embasp.languages.pddl.Plan