5 #include "stream_tools.h"
8 #include "file_index.h"
13 id1_t abs_start, start, abs_stop, stop;
16 Region(
const std::string &,
const id1_t &,
const id1_t &);
17 Region(
const id0_t &,
const id1_t &,
const id1_t &);
18 Region(
const id1_t &,
const id1_t &);
20 friend std::ostream& operator << (std::ostream& out,
const Region& x);
21 friend std::istream& operator >> (std::istream& in,
Region& x);
25 bool isregion(
const char *);
An interface that transforms pairs of name and position keys into record numbers. ...
Definition: file_index.h:23
Region()
constructor.
Definition: region.cc:2