From a8e877d01642d6cb1ad88ede8f74af777711298c Mon Sep 17 00:00:00 2001 From: TimQu <tim.quatmann@rwth-aachen.de> Date: Wed, 24 May 2017 17:06:33 +0200 Subject: [PATCH] fixed capitalization. --- .../SparseCbAchievabilityQuery.cpp | 0 .../SparseCbAchievabilityQuery.h | 0 .../{constraintBased => constraintbased}/SparseCbQuery.cpp | 0 .../{constraintBased => constraintbased}/SparseCbQuery.h | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename src/storm/modelchecker/multiobjective/{constraintBased => constraintbased}/SparseCbAchievabilityQuery.cpp (100%) rename src/storm/modelchecker/multiobjective/{constraintBased => constraintbased}/SparseCbAchievabilityQuery.h (100%) rename src/storm/modelchecker/multiobjective/{constraintBased => constraintbased}/SparseCbQuery.cpp (100%) rename src/storm/modelchecker/multiobjective/{constraintBased => constraintbased}/SparseCbQuery.h (100%) diff --git a/src/storm/modelchecker/multiobjective/constraintBased/SparseCbAchievabilityQuery.cpp b/src/storm/modelchecker/multiobjective/constraintbased/SparseCbAchievabilityQuery.cpp similarity index 100% rename from src/storm/modelchecker/multiobjective/constraintBased/SparseCbAchievabilityQuery.cpp rename to src/storm/modelchecker/multiobjective/constraintbased/SparseCbAchievabilityQuery.cpp diff --git a/src/storm/modelchecker/multiobjective/constraintBased/SparseCbAchievabilityQuery.h b/src/storm/modelchecker/multiobjective/constraintbased/SparseCbAchievabilityQuery.h similarity index 100% rename from src/storm/modelchecker/multiobjective/constraintBased/SparseCbAchievabilityQuery.h rename to src/storm/modelchecker/multiobjective/constraintbased/SparseCbAchievabilityQuery.h diff --git a/src/storm/modelchecker/multiobjective/constraintBased/SparseCbQuery.cpp b/src/storm/modelchecker/multiobjective/constraintbased/SparseCbQuery.cpp similarity index 100% rename from src/storm/modelchecker/multiobjective/constraintBased/SparseCbQuery.cpp rename to src/storm/modelchecker/multiobjective/constraintbased/SparseCbQuery.cpp diff --git a/src/storm/modelchecker/multiobjective/constraintBased/SparseCbQuery.h b/src/storm/modelchecker/multiobjective/constraintbased/SparseCbQuery.h similarity index 100% rename from src/storm/modelchecker/multiobjective/constraintBased/SparseCbQuery.h rename to src/storm/modelchecker/multiobjective/constraintbased/SparseCbQuery.h