33 #ifndef REDUNDANT_BASE_POINT_INSERTION_STRATEGY_H_
34 #define REDUNDANT_BASE_POINT_INSERTION_STRATEGY_H_
38 template <
class PERM,
class TRANS>
42 template <
class PERM,
class TRANS>
60 virtual int findInsertionPoint(dom_int beta, std::list<typename PERM::ptr> &S_i)
const = 0;
67 template <
class PERM,
class TRANS>
76 for (
unsigned int i=0; i<B.size(); ++i) {
81 while (pos > 0 && U[pos-1].size() == 1)
88 template <
class PERM,
class TRANS>
97 typename std::vector<dom_int>::const_iterator bIt = B.begin();
99 for (
unsigned int i=0; i<B.size(); ++i) {
109 std::copy_if(S.begin(), S.end(), std::back_inserter(S_i), stab_i);
112 if (stab_beta(beta)) {
123 #endif // -- REDUNDANT_BASE_POINT_INSERTION_STRATEGY_H_