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