From 630d14674d0af79d40c07f932a33bde3fe770af6 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 12 May 2015 09:16:38 +0200
Subject: [PATCH] make alib2elgo compilant with llvm

---
 .../src/automaton/properties/efficient/AllEpsilonClosure.h    | 2 ++
 .../src/automaton/properties/efficient/ReachableStates.h      | 2 ++
 alib2elgo/src/automaton/properties/efficient/UsefullStates.h  | 2 ++
 .../src/automaton/simplify/efficient/EpsilonRemoverIncoming.h | 2 ++
 .../src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h | 2 ++
 alib2elgo/src/automaton/simplify/efficient/Trim.h             | 4 +++-
 .../automaton/simplify/efficient/UnreachableStatesRemover.h   | 2 ++
 .../src/automaton/simplify/efficient/UselessStatesRemover.h   | 2 ++
 8 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h b/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h
index 7b29e957ae..70351d85d6 100644
--- a/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h
+++ b/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h
@@ -22,6 +22,8 @@ namespace efficient {
 
 class AllEpsilonClosure : public VisitableAutomatonBase::const_visitor_type {
 public:
+	AllEpsilonClosure() {}
+
 	static std::map<automaton::State, std::set<automaton::State>> allEpsilonClosure( const automaton::Automaton & automaton);
 
 	/**
diff --git a/alib2elgo/src/automaton/properties/efficient/ReachableStates.h b/alib2elgo/src/automaton/properties/efficient/ReachableStates.h
index c58dbbd524..b938e1e15c 100644
--- a/alib2elgo/src/automaton/properties/efficient/ReachableStates.h
+++ b/alib2elgo/src/automaton/properties/efficient/ReachableStates.h
@@ -23,6 +23,8 @@ namespace efficient {
 
 class ReachableStates : public VisitableAutomatonBase::const_visitor_type {
 public:
+	ReachableStates() {}
+
 	static std::set<automaton::State> reachableStates( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/properties/efficient/UsefullStates.h b/alib2elgo/src/automaton/properties/efficient/UsefullStates.h
index 46a1049392..3d2a0f85d4 100644
--- a/alib2elgo/src/automaton/properties/efficient/UsefullStates.h
+++ b/alib2elgo/src/automaton/properties/efficient/UsefullStates.h
@@ -23,6 +23,8 @@ namespace efficient {
 
 class UsefullStates : public VisitableAutomatonBase::const_visitor_type {
 public:
+	UsefullStates() {}
+
 	static std::set<automaton::State> usefullStates( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverIncoming.h b/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverIncoming.h
index 0165d210d1..35113669b7 100644
--- a/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverIncoming.h
+++ b/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverIncoming.h
@@ -27,6 +27,8 @@ namespace efficient {
 
 class EpsilonRemoverIncoming : public automaton::VisitableAutomatonBase::const_visitor_type {
 public:
+	EpsilonRemoverIncoming() {}
+
 	static automaton::Automaton remove( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h b/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h
index 3ae5ea9817..0269ad611f 100644
--- a/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h
+++ b/alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h
@@ -27,6 +27,8 @@ namespace efficient {
 
 class EpsilonRemoverOutgoing : public automaton::VisitableAutomatonBase::const_visitor_type {
 public:
+	EpsilonRemoverOutgoing() {}
+
 	static automaton::Automaton remove( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/simplify/efficient/Trim.h b/alib2elgo/src/automaton/simplify/efficient/Trim.h
index 5a48ba8306..9c51dc34a6 100644
--- a/alib2elgo/src/automaton/simplify/efficient/Trim.h
+++ b/alib2elgo/src/automaton/simplify/efficient/Trim.h
@@ -6,7 +6,7 @@
  */
 
 #ifndef EFFICIENT_AUTOMATON_TRIM_H_
-#define EFFICIENT_AUTOMAONT_TRIM_H_
+#define EFFICIENT_AUTOMATON_TRIM_H_
 
 #include <algorithm>
 #include <deque>
@@ -21,6 +21,8 @@ namespace efficient {
 
 class Trim : public automaton::VisitableAutomatonBase::const_visitor_type {
 public:
+	Trim() {}
+
 	static automaton::Automaton trim( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h b/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
index 4abec63a18..048cccf3e6 100644
--- a/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
+++ b/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
@@ -21,6 +21,8 @@ namespace efficient {
 
 class UnreachableStatesRemover : public automaton::VisitableAutomatonBase::const_visitor_type {
 public:
+	UnreachableStatesRemover() {}
+
 	static automaton::Automaton remove( const automaton::Automaton & automaton );
 
 	/**
diff --git a/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h b/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
index 14877104fd..dfcd19bd17 100644
--- a/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
+++ b/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
@@ -21,6 +21,8 @@ namespace efficient {
 
 class UselessStatesRemover : public automaton::VisitableAutomatonBase::const_visitor_type {
 public:
+	UselessStatesRemover() {}
+
 	static automaton::Automaton remove( const automaton::Automaton & automaton );
 
 	/**
-- 
GitLab