carl  24.04
Computer ARithmetic Library
MonomialOrdering.h File Reference
#include <carl-arith/core/CompareResult.h>
#include "Monomial.h"
#include "Term.h"
Include dependency graph for MonomialOrdering.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  carl::MonomialComparator< f, degreeOrdered >
 A class for term orderings. More...
 

Namespaces

 carl
 carl is the main namespace for the library.
 

Typedefs

using carl::MonomialOrderingFunction = CompareResult(*)(const Monomial::Arg &, const Monomial::Arg &)
 
using carl::LexOrdering = MonomialComparator< Monomial::compareLexical, false >
 
using carl::GrLexOrdering = MonomialComparator< Monomial::compareGradedLexical, true >