-include src/mc/explo/udpor/CompatibilityGraph.hpp
-include src/mc/explo/udpor/CompatibilityGraph.cpp
-include src/mc/explo/udpor/CompatibilityGraphNode.hpp
-include src/mc/explo/udpor/CompatibilityGraphNode.cpp
-include src/mc/explo/udpor/Configuration.hpp
-include src/mc/explo/udpor/Configuration.cpp
-include src/mc/explo/udpor/EventSet.cpp
-include src/mc/explo/udpor/EventSet.hpp
-include src/mc/explo/udpor/History.cpp
-include src/mc/explo/udpor/History.hpp
-include src/mc/explo/udpor/UnfoldingEvent.cpp
-include src/mc/explo/udpor/UnfoldingEvent.hpp
-include src/mc/explo/udpor/Unfolding.cpp
-include src/mc/explo/udpor/Unfolding.hpp