PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 // include basic definitions 00017 #include "pbori_defs.h" 00018 00019 // intrusive (smart shared) pointer functionality 00020 #include <boost/intrusive_ptr.hpp> 00021 00022 // Store names of variables 00023 #include "CVariableNames.h" 00024 00025 // get Cudd library 00026 #include <cudd.h> 00027 00028 BEGIN_NAMESPACE_PBORI 00029 00031 class CRingCore { 00032 public: 00034 typedef DdManager* mgr_type; 00035 00037 typedef boost::intrusive_ptr<mgr_type> mgr_ptr; 00038 00040 typedef CVariableNames variable_names_type; 00041 00043 typedef variable_names_type::const_reference const_varname_reference; 00044 00046 typedef COrderingBase order_type; 00047 00049 typedef boost::shared_ptr<order_type> order_ptr; 00050 00051 }; 00052 00053 00054 END_NAMESPACE_PBORI