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