PolyBoRi

pbori_routines_cuddext.h

Go to the documentation of this file.
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