#ifndef INTERVAL_SET_HH
#define INTERVAL_SET_HH
-#include "array.hh"
+#include "std-vector.hh"
#include "interval.hh"
/*
*/
struct Interval_set
{
- Array<Interval> allowed_regions_;
+ vector<Interval> allowed_regions_;
Interval_set ();
void set_full ();