DualCoding: SketchRoot.cc Source File

00001 //-*-c++-*-
00002 
00003 #include "SketchRoot.h"
00004 #include "Sketch.h"
00005 
00006 namespace DualCoding {
00007 
00008 SketchSpace& SketchRoot::rootGetSpace() const {
00009   const Sketch<bool>& faker = *reinterpret_cast<const Sketch<bool>*>(this);
00010   return *(faker.data->space);
00011 }
00012 
00013 const SketchDataRoot& SketchRoot::rootGetData() const {
00014   const Sketch<bool>& faker = *reinterpret_cast<const Sketch<bool>*>(this);
00015   return *(faker.data);
00016 }
00017 
00018 int SketchRoot::idCounter = 0;
00019 
00020 std::ostream& operator<<(std::ostream &os, const SketchRoot &r) {
00021   const SketchDataRoot& data = r.rootGetData();
00022   os << "Sketch<" << SketchTypeNames[data.getType()] << ">(\""
00023      << data.getName() << "\",id=" << data.getId() << ")";
00024   return os;
00025 }
00026 
00027 } // namespace