BlockDegLexOrder.h File Reference

#include "pbori_defs.h"
#include <cstddef>
#include <cuddObj.hh>
#include <iostream>
#include <boost/shared_ptr.hpp>
#include "pbori_defs.h"
#include <vector>
#include <map>
#include <algorithm>
#include <set>
#include "pbori_tags.h"
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/stringize.hpp>
#include <cudd.h>
#include <iterator>
#include <boost/scoped_array.hpp>
#include <boost/weak_ptr.hpp>
#include <boost/intrusive_ptr.hpp>
#include "pbori_traits.h"
#include <string>
#include <sstream>
#include <ext/hash_map>
#include "pbori_func.h"
#include "cuddInt.h"
#include "CCuddNavigator.h"
#include <boost/iterator/iterator_facade.hpp>
#include "CCuddInterface.h"
#include <boost/functional/hash.hpp>
#include <numeric>
#include "CDDInterface.h"
#include <stack>
#include <utility>
#include "CTermIter.h"
#include "BooleRing.h"
#include "BoolePolynomial.h"
#include "BooleEnv.h"
#include "PBoRiError.h"
#include "BooleMonomial.h"
#include "BooleVariable.h"
#include "pbori_algo.h"
#include "CDDManager.h"
#include "BooleExponent.h"
#include "CVariableNames.h"
#include "PBoRiOutIter.h"
#include <functional>
#include "extrafwd.h"
#include "pbori_routines.h"
#include "CCacheManagement.h"
#include "OrderedManager.h"
#include "COrderBase.h"
#include "pbori_routines_hash.h"
#include <boost/iterator/indirect_iterator.hpp>
#include "CBidirectTermIter.h"
#include "BooleSet.h"
#include "COrderedIter.h"
#include "CDelayedTermIter.h"
#include "CStackSelector.h"
#include "CTermGenerator.h"

Go to the source code of this file.

Classes

class  polybori::BlockDegLexOrder
 This class defines ordering related functions. More...

Namespaces

namespace  polybori

Defines

#define BlockDegLexOrder_h_

Detailed Description

Author:
Alexander Dreyer
Date:
2006-05-18

Defining Block Degree-lexicographical ordering.

Copyright:
(c) 2007 by The PolyBoRi Team

Define Documentation

#define BlockDegLexOrder_h_
Generated on Tue May 4 08:13:20 2010 for PolyBoRi by  doxygen 1.6.3