From dd313455d1b84e1fa76bc5ba500abc6276baa2d8 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Wed, 25 Dec 2019 21:59:11 +0100
Subject: [PATCH] test unit build in automaton properties

---
 .../{AllEpsilonClosure.cpp => AllEpsilonClosure.cxx}     | 0
 ...BackwardBisimulation.cpp => BackwardBisimulation.cxx} | 0
 ...stinguishableStates.cpp => DistinguishableStates.cxx} | 0
 .../{EpsilonClosure.cpp => EpsilonClosure.cxx}           | 0
 .../{ForwardBisimulation.cpp => ForwardBisimulation.cxx} | 0
 .../{InfiniteLanguage.cpp => InfiniteLanguage.cxx}       | 0
 alib2algo/src/automaton/properties/Properties.cpp        | 9 +++++++++
 .../{ReachableStates.cpp => ReachableStates.cxx}         | 0
 ...inguishableStates.cpp => UndistinguishableStates.cxx} | 0
 .../properties/{UsefulStates.cpp => UsefulStates.cxx}    | 0
 10 files changed, 9 insertions(+)
 rename alib2algo/src/automaton/properties/{AllEpsilonClosure.cpp => AllEpsilonClosure.cxx} (100%)
 rename alib2algo/src/automaton/properties/{BackwardBisimulation.cpp => BackwardBisimulation.cxx} (100%)
 rename alib2algo/src/automaton/properties/{DistinguishableStates.cpp => DistinguishableStates.cxx} (100%)
 rename alib2algo/src/automaton/properties/{EpsilonClosure.cpp => EpsilonClosure.cxx} (100%)
 rename alib2algo/src/automaton/properties/{ForwardBisimulation.cpp => ForwardBisimulation.cxx} (100%)
 rename alib2algo/src/automaton/properties/{InfiniteLanguage.cpp => InfiniteLanguage.cxx} (100%)
 create mode 100644 alib2algo/src/automaton/properties/Properties.cpp
 rename alib2algo/src/automaton/properties/{ReachableStates.cpp => ReachableStates.cxx} (100%)
 rename alib2algo/src/automaton/properties/{UndistinguishableStates.cpp => UndistinguishableStates.cxx} (100%)
 rename alib2algo/src/automaton/properties/{UsefulStates.cpp => UsefulStates.cxx} (100%)

diff --git a/alib2algo/src/automaton/properties/AllEpsilonClosure.cpp b/alib2algo/src/automaton/properties/AllEpsilonClosure.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/AllEpsilonClosure.cpp
rename to alib2algo/src/automaton/properties/AllEpsilonClosure.cxx
diff --git a/alib2algo/src/automaton/properties/BackwardBisimulation.cpp b/alib2algo/src/automaton/properties/BackwardBisimulation.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/BackwardBisimulation.cpp
rename to alib2algo/src/automaton/properties/BackwardBisimulation.cxx
diff --git a/alib2algo/src/automaton/properties/DistinguishableStates.cpp b/alib2algo/src/automaton/properties/DistinguishableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/DistinguishableStates.cpp
rename to alib2algo/src/automaton/properties/DistinguishableStates.cxx
diff --git a/alib2algo/src/automaton/properties/EpsilonClosure.cpp b/alib2algo/src/automaton/properties/EpsilonClosure.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/EpsilonClosure.cpp
rename to alib2algo/src/automaton/properties/EpsilonClosure.cxx
diff --git a/alib2algo/src/automaton/properties/ForwardBisimulation.cpp b/alib2algo/src/automaton/properties/ForwardBisimulation.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/ForwardBisimulation.cpp
rename to alib2algo/src/automaton/properties/ForwardBisimulation.cxx
diff --git a/alib2algo/src/automaton/properties/InfiniteLanguage.cpp b/alib2algo/src/automaton/properties/InfiniteLanguage.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/InfiniteLanguage.cpp
rename to alib2algo/src/automaton/properties/InfiniteLanguage.cxx
diff --git a/alib2algo/src/automaton/properties/Properties.cpp b/alib2algo/src/automaton/properties/Properties.cpp
new file mode 100644
index 0000000000..353daee46e
--- /dev/null
+++ b/alib2algo/src/automaton/properties/Properties.cpp
@@ -0,0 +1,9 @@
+#include "AllEpsilonClosure.cxx"
+#include "BackwardBisimulation.cxx"
+#include "DistinguishableStates.cxx"
+#include "EpsilonClosure.cxx"
+#include "ForwardBisimulation.cxx"
+#include "InfiniteLanguage.cxx"
+#include "ReachableStates.cxx"
+#include "UndistinguishableStates.cxx"
+#include "UsefulStates.cxx"
diff --git a/alib2algo/src/automaton/properties/ReachableStates.cpp b/alib2algo/src/automaton/properties/ReachableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/ReachableStates.cpp
rename to alib2algo/src/automaton/properties/ReachableStates.cxx
diff --git a/alib2algo/src/automaton/properties/UndistinguishableStates.cpp b/alib2algo/src/automaton/properties/UndistinguishableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/UndistinguishableStates.cpp
rename to alib2algo/src/automaton/properties/UndistinguishableStates.cxx
diff --git a/alib2algo/src/automaton/properties/UsefulStates.cpp b/alib2algo/src/automaton/properties/UsefulStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/UsefulStates.cpp
rename to alib2algo/src/automaton/properties/UsefulStates.cxx
-- 
GitLab