pbori_order.h File Reference

#include "pbori_defs.h"
#include "OrderedManager.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< LhsType, RhsType, BinaryPredicate >
	defines lexicographic comparison functor More...
Namespaces
namespace	polybori
Functions
boost::shared_ptr < CDynamicOrderBase >	polybori::get_ordering (CTypes::ordercode_type order)

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-05-23

Copyright:

(c) 2006 by The PolyBoRi Team