#include "pbori_defs.h"
Go to the source code of this file.
Classes | |
class | lex_tag |
Marker for lex ordering. More... | |
class | dlex_tag |
Marker for deg-lex ordering. More... | |
class | dp_asc_tag |
Marker for ascending deg-rev-lex ordering. More... | |
class | block_dlex_tag |
Marker for block deg-lex ordering. More... | |
class | block_dp_asc_tag |
Marker for ascending block deg-rev-lex ordering. More... |
Decribes properties of polybori ordering classes