X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d780545ccaaae487edef9b6d293f3c61ab511fe4..57970bcf4905da230f47be5c0f9a37128cca29f4:/src/mc/LocationList.hpp diff --git a/src/mc/LocationList.hpp b/src/mc/LocationList.hpp index 57326a0269..da1af221ce 100644 --- a/src/mc/LocationList.hpp +++ b/src/mc/LocationList.hpp @@ -15,23 +15,23 @@ #include #include -#include +#include "xbt/base.h" +#include "xbt/range.hpp" -#include "simgrid_config.h" #include "src/mc/mc_base.h" #include "src/mc/mc_forward.hpp" -#include "src/mc/AddressSpace.hpp" #include "src/mc/DwarfExpression.hpp" namespace simgrid { namespace dwarf { -/** \brief A DWARF expression with optional validity contraints */ +/** A DWARF expression with optional validity constraints */ class LocationListEntry { public: - typedef simgrid::xbt::range range_type; + typedef simgrid::xbt::Range range_type; private: DwarfExpression expression_; + // By default, the expression is always valid: range_type range_ = {0, UINT64_MAX}; public: LocationListEntry() {}