38 namespace Gecode {
namespace Gist {
47 std::ostringstream result;
48 dynamic_cast<const S&
>(s0).
compare(s1,result);
49 if (result.str() !=
"") {
52 getStream() << result.str() << std::endl;
53 addHtml(
"</pre><hr />");
73 std::ostringstream ret;
74 ret << x_n <<
"=" << x <<
" -> " << y;
82 std::ostringstream ret;
83 ret << x_n <<
"=" << x <<
" -> " << y;
88 #ifdef GECODE_HAS_SET_VARS
97 std::ostringstream ret;
98 ret << x_n <<
"=" << x <<
" -> " << y;
109 return "Error: array size mismatch";
110 std::ostringstream ret;
112 for (
int i=0;
i<x.
size();
i++) {
113 std::ostringstream xni;
114 xni << x_n <<
"[" <<
i <<
"]";
115 std::string cmp =
compare(xni.str(),x[
i],y[
i]);
137 dynamic_cast<const S&
>(node).
print(getStream());
139 addHtml(
"</pre><hr />");
159 _solution(
heap,1), n_solution(0),
160 _move(
heap,1), n_move(0), _compare(
heap,1), n_compare(0) {}
164 _click[
static_cast<int>(n_click++)] = i;
168 _solution[
static_cast<int>(n_solution++)] = i;
172 _move[
static_cast<int>(n_move++)] = i;
176 _compare[
static_cast<int>(n_compare++)] = c;
180 return (i < n_click) ? _click[
i] : NULL;
184 return (i < n_solution) ? _solution[
i] : NULL;
188 return (i < n_move) ? _move[
i] : NULL;
192 return (i < n_compare) ? _compare[
i] : NULL;
197 return explore(root,
false, opt);