gist.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 namespace Gecode { namespace Gist {
00039
00040 template<class S>
00041 Print<S>::Print(const std::string& name)
00042 : TextInspector(name) {}
00043
00044 template<class S>
00045 void
00046 Print<S>::inspect(const Space& node) {
00047 init();
00048 addHtml("<pre>\n");
00049 dynamic_cast<const S&>(node).print(getStream());
00050 addHtml("</pre><hr />");
00051 }
00052
00053 forceinline
00054 Options::Options(void) {}
00055
00056 forceinline
00057 Options::_I::_I(void) : _click(heap,1), n_click(0),
00058 _solution(heap,1), n_solution(0) {}
00059
00060 forceinline void
00061 Options::_I::click(Inspector* i) {
00062 _click[n_click++] = i;
00063 }
00064 forceinline void
00065 Options::_I::solution(Inspector* i) {
00066 _solution[n_solution++] = i;
00067 }
00068 forceinline Inspector*
00069 Options::_I::click(unsigned int i) const {
00070 return (i < n_click) ? _click[i] : NULL;
00071 }
00072 forceinline Inspector*
00073 Options::_I::solution(unsigned int i) const {
00074 return (i < n_solution) ? _solution[i] : NULL;
00075 }
00076
00077 inline int
00078 dfs(Space* root, const Gist::Options& opt) {
00079 return explore(root, false, opt);
00080 }
00081
00082 inline int
00083 bab(Space* root, const Gist::Options& opt) {
00084 return Gist::explore(root, true, opt);
00085 }
00086
00087 }}
00088
00089