1 #ifndef __NORMAL_STRATEGY_HPP_ 2 #define __NORMAL_STRATEGY_HPP_ 21 #include "strategies.hpp" 50 virtual StrategyFlags type() {
return StrategyFlags::NORMAL_STRATEGY; }
virtual bool equivalent(const Pair_Strategy_Data &sd) const
implementation of equivalent()
virtual bool first_larger(const Pair_Strategy_Data &sd) const
implementation of first_larger()
Structure for sorting critical pairs.
Normal_Strategy(Critical_Pair_Basic &cpb)
all the information we need is in cpb already so no additional processing is necessary ...
StrategyFlags
flag indicating which strategy to use for computation
ordering critical pairs using the normal strategy
Critical_Pair_Basic * cp
the critical pair to which this Normal_Strategy belongs
Controls the creation of s-polynomials.