#include "datasource.hh"


using namespace Gecode;


DataSource::DataSource (Space& home) : 
  m_home (home)
{
}


DataSource::DataSource (bool share, Space& home, DataSource& ds) :
  m_home (home)
{
}


void DataSource::print (void) const
{
  print (std::cout);
}


unsigned char datasource_buffer[BLOCK_SIZE];
int64_t datasource_last_block = -1;
DataSource* datasource_p = NULL;
int64_t cache_hits = 0;
int64_t cache_misses = 0;
