7 #ifndef _HALPOSITIONCACHE_H
8 #define _HALPOSITIONCACHE_H
29 typedef std::map<hal_index_t, hal_index_t> IntervalSet;
31 bool insert(hal_index_t pos);
32 bool find(hal_index_t pos)
const;
35 hal_size_t size()
const {
return _size; }
36 hal_size_t numIntervals()
const {
return _set.size(); }
38 const IntervalSet* getIntervalSet() {
return &_set; }
44 IntervalSet::iterator _prev;
Definition: halPositionCache.h:23