00001 // -*- c++ -*- 00002 //***************************************************************************** 00040 //***************************************************************************** 00041 00042 // include basic definitions 00043 #include "pbori_defs.h" 00044 00045 00046 BEGIN_NAMESPACE_PBORI 00047 00048 // currently at external header file pbori_algo.h 00049 00050 END_NAMESPACE_PBORI