PolyBoRi
Classes | Namespaces | Functions
pbori_order.h File Reference
#include "pbori_defs.h"
#include "COrderingBase.h"
#include "LexOrder.h"
#include "DegLexOrder.h"
#include "DegRevLexAscOrder.h"
#include "BlockDegLexOrder.h"
#include "BlockDegRevLexAscOrder.h"

Go to the source code of this file.

Classes

class  polybori::lex_compare_predicate
 defines lexicographic comparison functor More...

Namespaces

namespace  polybori

Functions

boost::shared_ptr< COrderingBase > polybori::get_ordering (CTypes::ordercode_type order)

Detailed Description

Author:
Alexander Dreyer
Date:
2006-05-23
Copyright:
(c) 2006 by The PolyBoRi Team