switch to vector from small_vector

drexlerd · Jan 4, 2024 · 7bc902a · 7bc902a
1 parent 64dd8be
commit 7bc902a
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/include/loki/domain/pddl/declarations.hpp b/include/loki/domain/pddl/declarations.hpp
@@ -33,7 +33,8 @@ namespace loki::pddl {
 
     class TypeImpl;
     using Type = const TypeImpl*;
-    using TypeList = boost::container::small_vector<Type,1>;  // often single type
+    //using TypeList = boost::container::small_vector<Type,1>;  // often single type
+    using TypeList = std::vector<Type>;
 
     class ObjectImpl;
     using Object = const ObjectImpl*;
@@ -48,15 +49,17 @@ namespace loki::pddl {
     class TermVariableImpl;
     using TermImpl = std::variant<TermObjectImpl, TermVariableImpl>;
     using Term = const TermImpl*;
-    using TermList = boost::container::small_vector<Term, 2>;  // often unary and binary predicates
+    //using TermList = boost::container::small_vector<Term, 2>;  // often unary and binary predicates
+    using TermList = std::vector<Term>;
 
     class AtomImpl;
     using Atom = const AtomImpl*;
     using AtomList = std::vector<Atom>;
 
     class ParameterImpl;
     using Parameter = const ParameterImpl*;
-    using ParameterList = boost::container::small_vector<Parameter, 10>;  // often actions, quantifiers with few parameters
+    //using ParameterList = boost::container::small_vector<Parameter, 10>;  // often actions, quantifiers with few parameters
+    using ParameterList = std::vector<Parameter>;
     using ParameterAssignment = std::unordered_map<Parameter, Object>;
 
     class PredicateImpl;