/BasicEncoding.hpp/1.4/Wed Jul 29 12:26:17 2009//
/Graph.hpp/1.7/Tue Sep 22 14:02:49 2009//
/GridEdgeEncoder.cpp/1.11/Thu Jul 30 18:20:51 2009//
/GridEdgeEncoder.hpp/1.11/Tue Jul 28 16:22:16 2009//
