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.


Detailed Description

Author:
Alexander Dreyer
Date:
2006-05-23
Copyright:
(c) 2006 by The PolyBoRi Team
Generated on Wed May 5 21:35:28 2010 for PolyBoRi by  doxygen 1.6.3