Searched refs:IPL_ADVANCED (Results 1 – 6 of 6) sorted by relevance
42 case IPL_ADVANCED: in manpost()57 case IPL_ADVANCED: in optpost()
331 else if (!strncmp("advanced",a,e)) { m |= IPL_ADVANCED; } in parse()363 if (cur & IPL_ADVANCED) cerr << ",advanced"; in help()
218 if (ipl & IPL_ADVANCED) s << "+A"; in str()
422 {Gecode::IPL_BASIC_ADVANCED,Gecode::IPL_ADVANCED,Gecode::IPL_BASIC};
982 IPL_ADVANCED = 8, ///< Use advanced propagation algorithm enumerator983 IPL_BASIC_ADVANCED = IPL_BASIC | IPL_ADVANCED, ///< Use both