#include "pbori_defs.h"
#include "LexOrder.h"
#include "DegLexOrder.h"
#include "DegRevLexAscOrder.h"
#include <functional>
Go to the source code of this file.