PolyBoRi
pbori_routines.h
Go to the documentation of this file.
00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 // include basic definitions
00017 #include "pbori_defs.h"
00018 
00019 // include polybori algorithms and functionals
00020 #include "pbori_algo.h"
00021 #include "pbori_func.h"
00022 
00023 #ifndef PBORI_ROUTINES_H_
00024 #define PBORI_ROUTINES_H_
00025 
00026 
00027 // Get routines, which add features related to decision diagrams
00028 #include "pbori_routines_dd.h"
00029 
00030 // Get routines, which add features related to Cudd library
00031 #include "pbori_routines_cuddext.h"
00032 
00033 // Get additional routines
00034 #include "pbori_routines_misc.h"
00035 
00036 // Get order-related routines
00037 #include "pbori_routines_order.h"
00038 
00039 // Get hash-related routines
00040 #include "pbori_routines_hash.h"
00041 
00042 #endif