polybori::dp_asc_tag Class Reference

Marker for ascending deg-rev-lex ordering. More...

#include <order_tags.h>


Detailed Description

Marker for ascending deg-rev-lex ordering.
The documentation for this class was generated from the following file:

Generated on Fri May 2 05:39:54 2008 for PolyBoRi by  doxygen 1.5.5