view pointpair.h @ 657:4c4389325ae4

Better RNG initialization

On platforms where it's available, use gettimeofday() and mix in the ~20
bits that that gives to the high (slowly-changing) bits of the seconds
since the Epoch.

// should probably be rewritten
class PointPair {
 public:
  uint32_t trackID;
  uint32_t qpos;
  uint32_t spos;
  PointPair(uint32_t a, uint32_t b, uint32_t c);
};

bool operator<(const PointPair& a, const PointPair& b);