1 #include "rbase/build_rbase.hpp" 2 #include "constraints/setstab.hpp" 3 main(void)4int main(void) 5 { 6 Problem p(10); 7 int vals[] = {2,4,6,8}; 8 std::set<int> s(vals, vals+4); 9 p.addConstraint(new SetStab(s, &p.p_stack)); 10 p.p_stack.sanity_check(); 11 p.con_store.initConstraints(true); 12 p.p_stack.sanity_check(); 13 vec1<vec1<int> > part = p.p_stack.dumpCurrentPartition(); 14 RBase* r = buildRBase(&p, RBaseBranch_Smallest, RBaseBranch_Smallest); 15 // make sure partition is not changed 16 assert(part == p.p_stack.dumpCurrentPartition()); 17 delete r; 18 } 19