+ std::vector<s_stack_region_t>& stack_areas()
+ {
+ return stack_areas_;
+ }
+ std::vector<s_stack_region_t> const& stack_areas() const
+ {
+ return stack_areas_;
+ }
+
+ std::vector<IgnoredHeapRegion> const& ignored_heap() const
+ {
+ return ignored_heap_;
+ }
+ void ignore_heap(IgnoredHeapRegion const& region);
+ void unignore_heap(void *address, size_t size);
+
+ void ignore_local_variable(const char *var_name, const char *frame_name);
+ int socket() { return socket_; }
+ std::vector<simgrid::mc::SimixProcessInformation>& simix_processes();
+