it.unical.mat.embasp.languages.pddl Namespace Reference

Classes
class	Action
class	PDDLException
class	PDDLInputProgram
class	PDDLMapper
class	Plan

Typedefs
using	InputProgram = it.unical.mat.embasp. @base.InputProgram
using	IllegalTermException = it.unical.mat.embasp.languages.asp.IllegalTermException
using	Output = it.unical.mat.embasp. @base.Output

Enumerations
enum	PDDLProgramType { PDDLProgramType.PROBLEM, PDDLProgramType.DOMAIN }

Typedef Documentation

IllegalTermException

using it.unical.mat.embasp.languages.pddl.IllegalTermException = typedef it.unical.mat.embasp.languages.asp.IllegalTermException

InputProgram

using it.unical.mat.embasp.languages.pddl.InputProgram = typedef it.unical.mat.embasp.@base.InputProgram

Output

using it.unical.mat.embasp.languages.pddl.Output = typedef it.unical.mat.embasp.@base.Output

Enumeration Type Documentation

PDDLProgramType

enum it.unical.mat.embasp.languages.pddl.PDDLProgramType

strong

Enumerator
PROBLEM
DOMAIN