1 #include "rbase/build_rbase.hpp"
2 #include "constraints/setstab.hpp"
3 
main(void)4 int 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