PolyBoRi
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