1 #ifndef __STRATEGIES_CPP_ 2 #define __STRATEGIES_CPP_ 21 #include "strategies.hpp" 32 return *
this == other or *
this > other;
36 return not (*
this >= other);
45 )
const {
return true; }
48 os <<
"generic Poly_Strategy_Data";
52 Pair_Strategy_Data::~Pair_Strategy_Data() { };
63 return *
this > sd or *
this == sd;
67 return not (*
this >= sd);
bool operator>=(const Poly_Strategy_Data &other) const
is this larger than or equivalent to other?
The general class of a polynomial.
polynomial-related strategy data
bool operator>=(const Pair_Strategy_Data &sd) const
is this larger than or equivalent to other?
virtual void pre_spolynomial_tasks() const
hook called immediately before computing a new s-polynomiald
bool operator>(const Poly_Strategy_Data &other) const
alias for first_larger()
bool operator<(const Pair_Strategy_Data &sd) const
is this smaller than other?
Structure for sorting critical pairs.
friend ostream & operator<<(ostream &, const Poly_Strategy_Data &)
print strategy-related data in the polynomial
virtual bool valid_reduction(const Abstract_Polynomial &r, const Abstract_Polynomial &g) const
hook called while finding a reducer
bool operator<(const Poly_Strategy_Data &other) const
is this smaller than other?
virtual bool equivalent(const Poly_Strategy_Data &) const =0
should return true iff strategy considers this and other equivalent
bool operator<=(const Pair_Strategy_Data &sd) const
is this smaller than or equivalent to other?
bool operator==(const Poly_Strategy_Data &other) const
alias for equivalent()
virtual bool first_larger(const Poly_Strategy_Data &) const =0
should return true iff strategy considers this larger than other
bool operator<=(const Poly_Strategy_Data &other) const
is this smaller than or equivalent to other?
bool operator==(const Pair_Strategy_Data &sd) const
alias for equivalent()
bool operator>(const Pair_Strategy_Data &sd) const
alias for first_larger()