From 5663c750c31d9a4fdce18d76dcdfcfe37de2105c Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sat, 15 Feb 2020 20:27:36 +0100
Subject: [PATCH] unit build efficient automaton properties
---
.../efficient/{AllEpsilonClosure.cpp => AllEpsilonClosure.cxx} | 0
alib2elgo/src/automaton/properties/efficient/Properties.cpp | 3 +++
.../efficient/{ReachableStates.cpp => ReachableStates.cxx} | 0
.../efficient/{UsefulStates.cpp => UsefulStates.cxx} | 0
4 files changed, 3 insertions(+)
rename alib2elgo/src/automaton/properties/efficient/{AllEpsilonClosure.cpp => AllEpsilonClosure.cxx} (100%)
create mode 100644 alib2elgo/src/automaton/properties/efficient/Properties.cpp
rename alib2elgo/src/automaton/properties/efficient/{ReachableStates.cpp => ReachableStates.cxx} (100%)
rename alib2elgo/src/automaton/properties/efficient/{UsefulStates.cpp => UsefulStates.cxx} (100%)
diff --git a/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.cpp b/alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.cxx
similarity index 100%
rename from alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.cpp
rename to alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.cxx
diff --git a/alib2elgo/src/automaton/properties/efficient/Properties.cpp b/alib2elgo/src/automaton/properties/efficient/Properties.cpp
new file mode 100644
index 0000000000..e741447c37
--- /dev/null
+++ b/alib2elgo/src/automaton/properties/efficient/Properties.cpp
@@ -0,0 +1,3 @@
+#include "AllEpsilonClosure.cxx"
+#include "ReachableStates.cxx"
+#include "UsefulStates.cxx"
diff --git a/alib2elgo/src/automaton/properties/efficient/ReachableStates.cpp b/alib2elgo/src/automaton/properties/efficient/ReachableStates.cxx
similarity index 100%
rename from alib2elgo/src/automaton/properties/efficient/ReachableStates.cpp
rename to alib2elgo/src/automaton/properties/efficient/ReachableStates.cxx
diff --git a/alib2elgo/src/automaton/properties/efficient/UsefulStates.cpp b/alib2elgo/src/automaton/properties/efficient/UsefulStates.cxx
similarity index 100%
rename from alib2elgo/src/automaton/properties/efficient/UsefulStates.cpp
rename to alib2elgo/src/automaton/properties/efficient/UsefulStates.cxx
--
GitLab