diff --git a/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h b/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h
index 7b29e957aef8a45e2c6fc525dbb17cdfc0a3e3ce..70351d85d6682fa3a8cc96811275381e32a8ba6b 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 c58dbbd5246e920b69a71e8badc122c78ea60ce3..b938e1e15c70df12f98a0ecc9e13952000f61441 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 46a1049392a14bdf2a74fe8b70800ba170e6d9f5..3d2a0f85d4685b4ca53fa1e531b3d9ccef718197 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 0165d210d1af42286ec8816e75673fcb68025e25..35113669b766ca9340e36f2fa141582ae2787bde 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 3ae5ea98172c6fa5dd399621627581f4ea50f064..0269ad611f8d46d09d4ba568190a9cd87d43cc9b 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 5a48ba8306a114aeb7827ac10d10a9428cf86fed..9c51dc34a65ffccefabf1fdd648c66671232db0e 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 4abec63a184f60735b707366a4c878be69f6297d..048cccf3e60f08921cec13681137d800bd7ebc39 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 14877104fd8204bc78fbdf90355a3e6e38f7cf5b..dfcd19bd1791fb8424af0312dc81d91a3ca3a224 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 );
 
 	/**