allowed_regions_.clear ();
Interval s;
s.set_full ();
- allowed_regions_.push (s);
+ allowed_regions_.push_back (s);
}
void
Interval_set::remove_interval (Interval rm)
{
- for (int i = 0; i < allowed_regions_.size ();)
+ for (vsize i = 0; i < allowed_regions_.size ();)
{
Interval s = rm;
if (!before.is_empty () && before.length () > 0.0)
{
- allowed_regions_.insert (before, i);
+ allowed_regions_.insert (allowed_regions_.begin () + i, before);
i++;
}
- allowed_regions_.del (i);
+ allowed_regions_.erase (allowed_regions_.begin () + i);
if (!after.is_empty () && after.length () > 0.0)
{
- allowed_regions_.insert (after, i);
+ allowed_regions_.insert (allowed_regions_.begin () + i, after);
i++;
}
}