carl  24.04
Computer ARithmetic Library
Public Member Functions | Static Public Member Functions | Static Public Attributes
carl::MonomialComparator< f, degreeOrdered > Struct Template Reference

A class for term orderings. More...

#include <MonomialOrdering.h>

Public Member Functions

bool operator() (const Monomial::Arg &m1, const Monomial::Arg &m2) const
 
template<typename Coeff >
bool operator() (const Term< Coeff > &t1, const Term< Coeff > &t2) const
 

Static Public Member Functions

static CompareResult compare (const Monomial::Arg &m1, const Monomial::Arg &m2)
 
template<typename Coeff >
static CompareResult compare (const Term< Coeff > &t1, const Term< Coeff > &t2)
 
template<typename Coeff >
static bool less (const Term< Coeff > &t1, const Term< Coeff > &t2)
 
static bool less (const Monomial::Arg &m1, const Monomial::Arg &m2)
 
template<typename Coeff >
static bool equal (const Term< Coeff > &t1, const Term< Coeff > &t2)
 
static bool equal (const Monomial::Arg &m1, const Monomial::Arg &m2)
 

Static Public Attributes

static const bool degreeOrder = degreeOrdered
 

Detailed Description

template<MonomialOrderingFunction f, bool degreeOrdered>
struct carl::MonomialComparator< f, degreeOrdered >

A class for term orderings.

Definition at line 21 of file MonomialOrdering.h.

Member Function Documentation

◆ compare() [1/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
static CompareResult carl::MonomialComparator< f, degreeOrdered >::compare ( const Monomial::Arg &  m1,
const Monomial::Arg &  m2 
)
inlinestatic

Definition at line 23 of file MonomialOrdering.h.

Here is the caller graph for this function:

◆ compare() [2/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
template<typename Coeff >
static CompareResult carl::MonomialComparator< f, degreeOrdered >::compare ( const Term< Coeff > &  t1,
const Term< Coeff > &  t2 
)
inlinestatic

Definition at line 28 of file MonomialOrdering.h.

Here is the call graph for this function:

◆ equal() [1/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
static bool carl::MonomialComparator< f, degreeOrdered >::equal ( const Monomial::Arg &  m1,
const Monomial::Arg &  m2 
)
inlinestatic

Definition at line 46 of file MonomialOrdering.h.

Here is the call graph for this function:

◆ equal() [2/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
template<typename Coeff >
static bool carl::MonomialComparator< f, degreeOrdered >::equal ( const Term< Coeff > &  t1,
const Term< Coeff > &  t2 
)
inlinestatic

Definition at line 42 of file MonomialOrdering.h.

Here is the call graph for this function:

◆ less() [1/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
static bool carl::MonomialComparator< f, degreeOrdered >::less ( const Monomial::Arg &  m1,
const Monomial::Arg &  m2 
)
inlinestatic

Definition at line 37 of file MonomialOrdering.h.

Here is the call graph for this function:

◆ less() [2/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
template<typename Coeff >
static bool carl::MonomialComparator< f, degreeOrdered >::less ( const Term< Coeff > &  t1,
const Term< Coeff > &  t2 
)
inlinestatic

Definition at line 33 of file MonomialOrdering.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ operator()() [1/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
bool carl::MonomialComparator< f, degreeOrdered >::operator() ( const Monomial::Arg &  m1,
const Monomial::Arg &  m2 
) const
inline

Definition at line 50 of file MonomialOrdering.h.

Here is the call graph for this function:

◆ operator()() [2/2]

template<MonomialOrderingFunction f, bool degreeOrdered>
template<typename Coeff >
bool carl::MonomialComparator< f, degreeOrdered >::operator() ( const Term< Coeff > &  t1,
const Term< Coeff > &  t2 
) const
inline

Definition at line 54 of file MonomialOrdering.h.

Here is the call graph for this function:

Field Documentation

◆ degreeOrder

template<MonomialOrderingFunction f, bool degreeOrdered>
const bool carl::MonomialComparator< f, degreeOrdered >::degreeOrder = degreeOrdered
static

Definition at line 58 of file MonomialOrdering.h.

The documentation for this struct was generated from the following file: