From 1ed29262ff4d61ae0d9b7d18babd67cdc7b8998c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 25 Nov 2012 23:01:07 +0100
Subject: [PATCH] Renamed dtmc.h to Dtmc.h and backward_transitions.h to
 BackwardTransitions.h.

---
 src/modelChecker/DtmcPrctlModelChecker.h                     | 2 +-
 src/models/{backward_transitions.h => BackwardTransitions.h} | 0
 src/models/{dtmc.h => Dtmc.h}                                | 2 +-
 src/mrmc.cpp                                                 | 2 +-
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename src/models/{backward_transitions.h => BackwardTransitions.h} (100%)
 rename src/models/{dtmc.h => Dtmc.h} (99%)

diff --git a/src/modelChecker/DtmcPrctlModelChecker.h b/src/modelChecker/DtmcPrctlModelChecker.h
index 3090bd87d..9a7a7be01 100644
--- a/src/modelChecker/DtmcPrctlModelChecker.h
+++ b/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>
 
diff --git a/src/models/backward_transitions.h b/src/models/BackwardTransitions.h
similarity index 100%
rename from src/models/backward_transitions.h
rename to src/models/BackwardTransitions.h
diff --git a/src/models/dtmc.h b/src/models/Dtmc.h
similarity index 99%
rename from src/models/dtmc.h
rename to src/models/Dtmc.h
index 4105c8233..01157489e 100644
--- a/src/models/dtmc.h
+++ b/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 {
diff --git a/src/mrmc.cpp b/src/mrmc.cpp
index 07711357f..269e01d9a 100644
--- a/src/mrmc.cpp
+++ b/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"