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