Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h.

src/modelChecker/DtmcPrctlModelChecker.h

@@ -17,7 +17,7 @@
 #include "src/formula/ProbabilisticOperator.h"
 #include "src/formula/Until.h"
 
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/storage/BitVector.h"
 #include <vector>
 

src/models/dtmc.h → src/models/Dtmc.h

@@ -11,7 +11,7 @@
 #include <ostream>
 
 #include "AtomicPropositionsLabeling.h"
-#include "backward_transitions.h"
+#include "BackwardTransitions.h"
 #include "src/storage/SquareSparseMatrix.h"
 
 namespace mrmc {

src/mrmc.cpp

@@ -16,7 +16,7 @@
 #include <cstdio>
 
 #include "mrmc-config.h"
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/storage/SquareSparseMatrix.h"
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/parser/read_lab_file.h"