From 939c2c735c9fb5ca7c8364e808cd3b5332a431d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 24 Jun 2017 17:17:27 +0200
Subject: [PATCH] Explicitly deleted default constructors of all variant types
 to avoid future errors.

---
 lib/pddlparse/include/pddlparse/ASTForward.h     | 16 ++++++++++++++++
 .../include/pddlparse/NormalizedASTForward.h     | 12 ++++++++++++
 2 files changed, 28 insertions(+)

diff --git a/lib/pddlparse/include/pddlparse/ASTForward.h b/lib/pddlparse/include/pddlparse/ASTForward.h
index 15180db..107e5ee 100644
--- a/lib/pddlparse/include/pddlparse/ASTForward.h
+++ b/lib/pddlparse/include/pddlparse/ASTForward.h
@@ -127,6 +127,8 @@ using TermT = Variant<
 
 class Term : public detail::TermT
 {
+	Term() = delete;
+
 	using detail::TermT::TermT;
 };
 
@@ -143,6 +145,8 @@ using AtomicFormulaT = Variant<
 
 class AtomicFormula : public detail::AtomicFormulaT
 {
+	AtomicFormula() = delete;
+
 	using detail::AtomicFormulaT::AtomicFormulaT;
 };
 
@@ -165,6 +169,8 @@ using PreconditionT = Variant<
 
 class Precondition : public detail::PreconditionT
 {
+	Precondition() = delete;
+
 	using detail::PreconditionT::PreconditionT;
 };
 
@@ -185,6 +191,8 @@ using ConditionalEffectT = Variant<
 
 class ConditionalEffect : public detail::ConditionalEffectT
 {
+	ConditionalEffect() = delete;
+
 	using detail::ConditionalEffectT::ConditionalEffectT;
 };
 
@@ -205,6 +213,8 @@ using EffectT = Variant<
 
 class Effect : public detail::EffectT
 {
+	Effect() = delete;
+
 	using detail::EffectT::EffectT;
 };
 
@@ -219,6 +229,8 @@ using TypeT = Variant<
 
 class Type : public detail::TypeT
 {
+	Type() = delete;
+
 	using detail::TypeT::TypeT;
 };
 
@@ -233,6 +245,8 @@ using LiteralT = Variant<
 
 class Literal : public detail::LiteralT
 {
+	Literal() = delete;
+
 	using detail::LiteralT::LiteralT;
 };
 
@@ -251,6 +265,8 @@ using FactT = Variant<
 
 class Fact : public detail::FactT
 {
+	Fact() = delete;
+
 	using detail::FactT::FactT;
 };
 
diff --git a/lib/pddlparse/include/pddlparse/NormalizedASTForward.h b/lib/pddlparse/include/pddlparse/NormalizedASTForward.h
index 9183677..c2286b8 100644
--- a/lib/pddlparse/include/pddlparse/NormalizedASTForward.h
+++ b/lib/pddlparse/include/pddlparse/NormalizedASTForward.h
@@ -111,6 +111,8 @@ using AtomicFormulaT = Variant<
 
 class AtomicFormula : public detail::AtomicFormulaT
 {
+	AtomicFormula() = delete;
+
 	using detail::AtomicFormulaT::AtomicFormulaT;
 };
 
@@ -125,6 +127,8 @@ using LiteralT = Variant<
 
 class Literal : public detail::LiteralT
 {
+	Literal() = delete;
+
 	using detail::LiteralT::LiteralT;
 };
 
@@ -143,6 +147,8 @@ using PreconditionT = Variant<
 
 class Precondition : public detail::PreconditionT
 {
+	Precondition() = delete;
+
 	using detail::PreconditionT::PreconditionT;
 };
 
@@ -162,6 +168,8 @@ using DerivedPredicatePreconditionT = Variant<
 
 class DerivedPredicatePrecondition : public detail::DerivedPredicatePreconditionT
 {
+	DerivedPredicatePrecondition() = delete;
+
 	using detail::DerivedPredicatePreconditionT::DerivedPredicatePreconditionT;
 };
 
@@ -181,6 +189,8 @@ using ConditionalEffectT = Variant<
 
 class ConditionalEffect : public detail::ConditionalEffectT
 {
+	ConditionalEffect() = delete;
+
 	using detail::ConditionalEffectT::ConditionalEffectT;
 };
 
@@ -201,6 +211,8 @@ using EffectT = Variant<
 
 class Effect : public detail::EffectT
 {
+	Effect() = delete;
+
 	using detail::EffectT::EffectT;
 };