Browse Source

Removed unused flat_set includes

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
47344f9080
  1. 1
      src/storm-dft/builder/ExplicitDFTModelBuilder.h
  2. 1
      src/storm-dft/storage/dft/DFT.cpp
  3. 1
      src/storm/builder/ExplicitModelBuilder.h

1
src/storm-dft/builder/ExplicitDFTModelBuilder.h

@ -1,6 +1,5 @@
#pragma once #pragma once
#include <boost/container/flat_set.hpp>
#include <boost/optional/optional.hpp> #include <boost/optional/optional.hpp>
#include <stack> #include <stack>
#include <unordered_set> #include <unordered_set>

1
src/storm-dft/storage/dft/DFT.cpp

@ -1,6 +1,5 @@
#include "DFT.h" #include "DFT.h"
#include <boost/container/flat_set.hpp>
#include <map> #include <map>
#include "storm/exceptions/InvalidArgumentException.h" #include "storm/exceptions/InvalidArgumentException.h"

1
src/storm/builder/ExplicitModelBuilder.h

@ -7,7 +7,6 @@
#include <deque> #include <deque>
#include <cstdint> #include <cstdint>
#include <boost/functional/hash.hpp> #include <boost/functional/hash.hpp>
#include <boost/container/flat_set.hpp>
#include <boost/container/flat_map.hpp> #include <boost/container/flat_map.hpp>
#include <boost/variant.hpp> #include <boost/variant.hpp>
#include "storm/models/sparse/StandardRewardModel.h" #include "storm/models/sparse/StandardRewardModel.h"

Loading…
Cancel
Save