PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
polybori
include
pbori_routines.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
43
//*****************************************************************************
44
45
// include basic definitions
46
#include "
pbori_defs.h
"
47
48
// include polybori algorithms and functionals
49
#include "
pbori_algo.h
"
50
#include "
pbori_func.h
"
51
52
#ifndef PBORI_ROUTINES_H_
53
#define PBORI_ROUTINES_H_
54
55
56
// Get routines, which add features related to decision diagrams
57
#include "
pbori_routines_dd.h
"
58
59
// Get routines, which add features related to Cudd library
60
#include "
pbori_routines_cuddext.h
"
61
62
// Get additional routines
63
#include "
pbori_routines_misc.h
"
64
65
// Get order-related routines
66
#include "
pbori_routines_order.h
"
67
68
// Get hash-related routines
69
#include "
pbori_routines_hash.h
"
70
71
#endif
Generated on Tue Jun 25 2013 08:12:13 for PolyBoRi by
1.8.1.2