test unit build in automaton properties

dd313455 · Jan Trávníček · de73acec · dd313455 · dd313455 · dd313455
Commit dd313455 authored 5 years ago by Jan Trávníček
--- a/alib2algo/src/automaton/properties/AllEpsilonClosure.cpp
+++ b/alib2algo/src/automaton/properties/AllEpsilonClosure.cpp
--- a/alib2algo/src/automaton/properties/BackwardBisimulation.cpp
+++ b/alib2algo/src/automaton/properties/BackwardBisimulation.cpp
--- a/alib2algo/src/automaton/properties/DistinguishableStates.cpp
+++ b/alib2algo/src/automaton/properties/DistinguishableStates.cpp
--- a/alib2algo/src/automaton/properties/EpsilonClosure.cpp
+++ b/alib2algo/src/automaton/properties/EpsilonClosure.cpp
--- a/alib2algo/src/automaton/properties/ForwardBisimulation.cpp
+++ b/alib2algo/src/automaton/properties/ForwardBisimulation.cpp
--- a/alib2algo/src/automaton/properties/InfiniteLanguage.cpp
+++ b/alib2algo/src/automaton/properties/InfiniteLanguage.cpp
--- a/alib2algo/src/automaton/properties/Properties.cpp
+++ b/alib2algo/src/automaton/properties/Properties.cpp
+#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"
--- a/alib2algo/src/automaton/properties/ReachableStates.cpp
+++ b/alib2algo/src/automaton/properties/ReachableStates.cpp
--- a/alib2algo/src/automaton/properties/UndistinguishableStates.cpp
+++ b/alib2algo/src/automaton/properties/UndistinguishableStates.cpp
--- a/alib2algo/src/automaton/properties/UsefulStates.cpp
+++ b/alib2algo/src/automaton/properties/UsefulStates.cpp