diff --git a/include/common/pddl/base.hpp b/include/common/pddl/base.hpp index 03d6f945..0b96e0ea 100644 --- a/include/common/pddl/base.hpp +++ b/include/common/pddl/base.hpp @@ -38,7 +38,9 @@ namespace loki { /// * Type /// * Object /// * Variable +/// * Term /// * Atom +/// * NumericFluent /// * Literal /// * Parameter /// * Function