Searched refs:VarAll (Results 1 – 1 of 1) sorted by relevance
179 class VarAll : public Test { class185 VarAll(Gecode::IntPropLevel ipl) in VarAll() function in Test::Int::GCC::VarAll303 (void) new VarAll(ipls.ipl()); in Create()