From e0f714ed7c71ba177a87c664f64f9ee916ec2d8c Mon Sep 17 00:00:00 2001
From: Dominik Drexler <dominik.drexler@gmx.net>
Date: Thu, 18 Apr 2024 19:49:27 +0200
Subject: [PATCH] added declaratios for nested variant types

---
 include/loki/details/pddl/declarations.hpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/include/loki/details/pddl/declarations.hpp b/include/loki/details/pddl/declarations.hpp
index 3c962c19..87e425eb 100644
--- a/include/loki/details/pddl/declarations.hpp
+++ b/include/loki/details/pddl/declarations.hpp
@@ -55,7 +55,9 @@ using VariableList = std::vector<Variable>;  // not used
 using VariableAssignment = std::unordered_map<Variable, Object>;
 
 class TermObjectImpl;
+using TermObject = const TermObjectImpl*;
 class TermVariableImpl;
+using TermVariable = const TermVariableImpl*;
 using TermImpl = std::variant<TermObjectImpl, TermVariableImpl>;
 using Term = const TermImpl*;
 using TermList = boost::container::small_vector<Term, 2>;  // often unary and binary predicates
@@ -80,11 +82,17 @@ using Literal = const LiteralImpl*;
 using LiteralList = std::vector<Literal>;
 
 class ConditionLiteralImpl;
+using ConditionLiteral = const ConditionLiteralImpl*;
 class ConditionAndImpl;
+using ConditionAnd = const ConditionAndImpl*;
 class ConditionOrImpl;
+using ConditionOr = const ConditionOrImpl*;
 class ConditionNotImpl;
+using ConditionNot = const ConditionNotImpl*;
 class ConditionImplyImpl;
+using ConditionImply = const ConditionImplyImpl*;
 class ConditionExistsImpl;
+using ConditionExists = const ConditionExistsImpl*;
 class ConditionForallImpl;
 using ConditionImpl =
     std::variant<ConditionLiteralImpl, ConditionAndImpl, ConditionOrImpl, ConditionNotImpl, ConditionImplyImpl, ConditionExistsImpl, ConditionForallImpl>;
@@ -92,19 +100,29 @@ using Condition = const ConditionImpl*;
 using ConditionList = std::vector<Condition>;
 
 class EffectLiteralImpl;
+using EffectLiteral = const EffectLiteralImpl*;
 class EffectAndImpl;
+using EffectAnd = const EffectAndImpl*;
 class EffectNumericImpl;
+using EffectNumeric = const EffectNumericImpl*;
 class EffectConditionalForallImpl;
+using EffectConditionalForall = const EffectConditionalForallImpl*;
 class EffectConditionalWhenImpl;
+using EffectConditionalWhen = const EffectConditionalWhenImpl*;
 using EffectImpl = std::variant<EffectLiteralImpl, EffectAndImpl, EffectNumericImpl, EffectConditionalForallImpl, EffectConditionalWhenImpl>;
 using Effect = const EffectImpl*;
 using EffectList = std::vector<Effect>;
 
 class FunctionExpressionNumberImpl;
+using FunctionExpressionNumber = const FunctionExpressionNumberImpl*;
 class FunctionExpressionBinaryOperatorImpl;
+using FunctionExpressionBinaryOperator = const FunctionExpressionBinaryOperatorImpl*;
 class FunctionExpressionMultiOperatorImpl;
+using FunctionExpressionMultiOperator = const FunctionExpressionMultiOperatorImpl*;
 class FunctionExpressionMinusImpl;
+using FunctionExpressionMinus = const FunctionExpressionMinusImpl*;
 class FunctionExpressionFunctionImpl;
+using FunctionExpressionFunction = const FunctionExpressionFunctionImpl*;
 using FunctionExpressionImpl = std::variant<FunctionExpressionNumberImpl,
                                             FunctionExpressionBinaryOperatorImpl,
                                             FunctionExpressionMultiOperatorImpl,