updated friends

drexlerd · Dec 23, 2024 · cd0b07a · cd0b07a
1 parent ee9c2c5
commit cd0b07a
Show file tree

Hide file tree

Showing 21 changed files with 39 additions and 39 deletions.
diff --git a/include/loki/details/pddl/action.hpp b/include/loki/details/pddl/action.hpp
@@ -44,7 +44,7 @@ class ActionImpl
                std::optional<Effect> effect);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/atom.hpp b/include/loki/details/pddl/atom.hpp
@@ -34,7 +34,7 @@ class AtomImpl
     AtomImpl(size_t index, Predicate predicate, TermList terms);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/axiom.hpp b/include/loki/details/pddl/axiom.hpp
@@ -36,7 +36,7 @@ class AxiomImpl
     AxiomImpl(size_t index, std::string derived_predicate_name, ParameterList parameters, Condition condition, size_t num_parameters_to_ground_head);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/conditions.hpp b/include/loki/details/pddl/conditions.hpp
@@ -35,7 +35,7 @@ class ConditionLiteralImpl
     ConditionLiteralImpl(size_t index, Literal literal);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -61,7 +61,7 @@ class ConditionAndImpl
     ConditionAndImpl(size_t index, ConditionList conditions);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -87,7 +87,7 @@ class ConditionOrImpl
     ConditionOrImpl(size_t index, ConditionList conditions);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -113,7 +113,7 @@ class ConditionNotImpl
     ConditionNotImpl(size_t index, Condition condition);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -140,7 +140,7 @@ class ConditionImplyImpl
     ConditionImplyImpl(size_t index, Condition condition_left, Condition condition_right);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -168,7 +168,7 @@ class ConditionExistsImpl
     ConditionExistsImpl(size_t index, ParameterList parameters, Condition condition);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -196,7 +196,7 @@ class ConditionForallImpl
     ConditionForallImpl(size_t index, ParameterList parameters, Condition condition);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -224,7 +224,7 @@ class ConditionImpl
                   std::variant<ConditionLiteral, ConditionAnd, ConditionOr, ConditionNot, ConditionImply, ConditionExists, ConditionForall> condition);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/declarations.hpp b/include/loki/details/pddl/declarations.hpp
@@ -35,7 +35,7 @@ namespace loki
 template<typename T>
 using PDDLElement = const T*;
 
-template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+template<typename T, typename Hash, typename EqualTo>
 class SegmentedRepository;
 
 /**

diff --git a/include/loki/details/pddl/domain.hpp b/include/loki/details/pddl/domain.hpp
@@ -53,7 +53,7 @@ class DomainImpl
                AxiomList axioms);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/effects.hpp b/include/loki/details/pddl/effects.hpp
@@ -46,7 +46,7 @@ class EffectLiteralImpl
     EffectLiteralImpl(size_t index, Literal literal);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -72,7 +72,7 @@ class EffectAndImpl
     EffectAndImpl(size_t index, EffectList effects);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -100,7 +100,7 @@ class EffectNumericImpl
     EffectNumericImpl(size_t index, AssignOperatorEnum assign_operator, Function function, FunctionExpression function_expression);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -132,7 +132,7 @@ class EffectCompositeForallImpl
     EffectCompositeForallImpl(size_t index, ParameterList parameters, Effect effect);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -160,7 +160,7 @@ class EffectCompositeWhenImpl
     EffectCompositeWhenImpl(size_t index, Condition condition, Effect effect);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -186,7 +186,7 @@ class EffectCompositeOneofImpl
     EffectCompositeOneofImpl(size_t index, EffectList effects);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -212,7 +212,7 @@ class EffectImpl
     EffectImpl(size_t index, std::variant<EffectLiteral, EffectAnd, EffectNumeric, EffectCompositeForall, EffectCompositeWhen, EffectCompositeOneof> effect);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/function.hpp b/include/loki/details/pddl/function.hpp
@@ -34,7 +34,7 @@ class FunctionImpl
     FunctionImpl(size_t index, FunctionSkeleton function_skeleton, TermList terms);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/function_expressions.hpp b/include/loki/details/pddl/function_expressions.hpp
@@ -55,7 +55,7 @@ class FunctionExpressionNumberImpl
     FunctionExpressionNumberImpl(size_t index, double number);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -86,7 +86,7 @@ class FunctionExpressionBinaryOperatorImpl
                                          FunctionExpression right_function_expression);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -118,7 +118,7 @@ class FunctionExpressionMultiOperatorImpl
     FunctionExpressionMultiOperatorImpl(size_t index, MultiOperatorEnum multi_operator, FunctionExpressionList function_expressions);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -145,7 +145,7 @@ class FunctionExpressionMinusImpl
     FunctionExpressionMinusImpl(size_t index, FunctionExpression function_expression);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -171,7 +171,7 @@ class FunctionExpressionFunctionImpl
     FunctionExpressionFunctionImpl(size_t index, Function function);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:
@@ -207,7 +207,7 @@ class FunctionExpressionImpl
                                         FunctionExpressionFunction> function_expression);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/function_skeleton.hpp b/include/loki/details/pddl/function_skeleton.hpp
@@ -35,7 +35,7 @@ class FunctionSkeletonImpl
     FunctionSkeletonImpl(size_t index, std::string name, ParameterList parameters, Type type);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/literal.hpp b/include/loki/details/pddl/literal.hpp
@@ -34,7 +34,7 @@ class LiteralImpl
     LiteralImpl(size_t index, bool is_negated, Atom atom);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/metric.hpp b/include/loki/details/pddl/metric.hpp
@@ -43,7 +43,7 @@ class OptimizationMetricImpl
     OptimizationMetricImpl(size_t index, OptimizationMetricEnum optimization_metric, FunctionExpression function_expression);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/numeric_fluent.hpp b/include/loki/details/pddl/numeric_fluent.hpp
@@ -32,7 +32,7 @@ class NumericFluentImpl
     double m_number;
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
     NumericFluentImpl(size_t index, Function function, double number);

diff --git a/include/loki/details/pddl/object.hpp b/include/loki/details/pddl/object.hpp
@@ -34,7 +34,7 @@ class ObjectImpl
     ObjectImpl(size_t index, std::string name, TypeList types = {});
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/parameter.hpp b/include/loki/details/pddl/parameter.hpp
@@ -35,7 +35,7 @@ class ParameterImpl
     ParameterImpl(size_t index, Variable variable, TypeList types);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/predicate.hpp b/include/loki/details/pddl/predicate.hpp
@@ -36,7 +36,7 @@ class PredicateImpl
     PredicateImpl(size_t index, std::string name, ParameterList parameters);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/problem.hpp b/include/loki/details/pddl/problem.hpp
@@ -56,7 +56,7 @@ class ProblemImpl
                 AxiomList axioms);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/requirements.hpp b/include/loki/details/pddl/requirements.hpp
@@ -65,7 +65,7 @@ class RequirementsImpl
     RequirementsImpl(size_t index, RequirementEnumSet requirements);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/term.hpp b/include/loki/details/pddl/term.hpp
@@ -36,7 +36,7 @@ class TermImpl
     TermImpl(size_t index, std::variant<Object, Variable> object_or_variable);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/type.hpp b/include/loki/details/pddl/type.hpp
@@ -34,7 +34,7 @@ class TypeImpl
     TypeImpl(size_t index, std::string name, TypeList bases = {});
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public:

diff --git a/include/loki/details/pddl/variable.hpp b/include/loki/details/pddl/variable.hpp
@@ -34,7 +34,7 @@ class VariableImpl
     VariableImpl(size_t index, std::string name);
 
     // Give access to the constructor.
-    template<HasIdentifiableMembers T, typename Hash, typename EqualTo>
+    template<typename T, typename Hash, typename EqualTo>
     friend class SegmentedRepository;
 
 public: