diff --git a/include/plasp/pddl/Requirement.h b/include/plasp/pddl/Requirement.h new file mode 100644 index 0000000..b0831ea --- /dev/null +++ b/include/plasp/pddl/Requirement.h @@ -0,0 +1,44 @@ +#ifndef __PLASP__PDDL__REQUIREMENT_H +#define __PLASP__PDDL__REQUIREMENT_H + +namespace plasp +{ +namespace pddl +{ + +//////////////////////////////////////////////////////////////////////////////////////////////////// +// +// Requirement +// +//////////////////////////////////////////////////////////////////////////////////////////////////// + +enum class Requirement +{ + STRIPS, + Typing, + NegativePreconditions, + DisjunctivePreconditions, + Equality, + ExistentialPreconditions, + UniversalPreconditions, + QuantifiedPreconditions, + ConditionalEffects, + Fluents, + NumericFluents, + ADL, + DurativeActions, + DurationInequalities, + ContinuousEffects, + DerivedPredicates, + TimedInitialLiterals, + Preferences, + Constraints, + ActionCosts +}; + +//////////////////////////////////////////////////////////////////////////////////////////////////// + +} +} + +#endif