Browse Source

moved parameterRegion to storm/storage

tempestpy_adaptions
TimQu 8 years ago
parent
commit
84092c1b5d
  1. 2
      src/storm/modelchecker/parametric/SparseParameterLiftingModelChecker.h
  2. 2
      src/storm/storage/ParameterRegion.cpp
  3. 0
      src/storm/storage/ParameterRegion.h
  4. 2
      src/storm/transformer/ParameterLifter.h

2
src/storm/modelchecker/parametric/SparseParameterLiftingModelChecker.h

@ -3,7 +3,7 @@
#include "storm/logic/Formulas.h"
#include "storm/modelchecker/CheckTask.h"
#include "storm/modelchecker/results/CheckResult.h"
#include "storm/modelchecker/parametric/ParameterRegion.h"
#include "storm/storage/ParameterRegion.h"
#include "storm/solver/OptimizationDirection.h"
#include "storm/utility/parametric.h"

2
src/storm/modelchecker/parametric/ParameterRegion.cpp → src/storm/storage/ParameterRegion.cpp

@ -1,4 +1,4 @@
#include "storm/modelchecker/parametric/ParameterRegion.h"
#include "ParameterRegion.h"
#include "storm/utility/region.h"
#include "storm/utility/macros.h"

0
src/storm/modelchecker/parametric/ParameterRegion.h → src/storm/storage/ParameterRegion.h

2
src/storm/transformer/ParameterLifter.h

@ -9,7 +9,7 @@
#include "storm/storage/BitVector.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/utility/parametric.h"
#include "storm/modelchecker/parametric/ParameterRegion.h"
#include "storm/storage/ParameterRegion.h"
#include "storm/solver/OptimizationDirection.h"
namespace storm {

Loading…
Cancel
Save