1 #ifndef __MONOMIAL_ORDERING_HPP_ 2 #define __MONOMIAL_ORDERING_HPP_ 23 #include "system_constants.hpp" 49 virtual DEG_TYPE
grading(NVAR_TYPE)
const {
return 0; }
93 virtual void set_data(
Monomial &)
const;
136 virtual bool first_larger_than_multiple(
145 bool first_larger_or_equal_than_multiple(
153 bool first_smaller_than_multiple(
162 bool first_smaller_or_equal_than_multiple(
182 virtual const WT_TYPE * order_weights()
const = 0;
data for a monomial ordering: optional, but stored in Monomial
virtual ~Monomial_Order_Data()
does nothing but guarantee polymorphism (stupid, stupid C++)
Implementation of monomials.
interface to a monomial ordering
interface to a weighted monomial ordering
virtual Monomial_Order_Data * clone()
default clone returns nullptr
virtual DEG_TYPE grading(NVAR_TYPE) const
default value is useless; orderings that supply gradings should redefine