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;
104 #ifdef GECODE_HAS_FLOAT_VARS
108 std::ostringstream ret;
109 ret << x_n <<
"=" << x <<
" -> " << y;
120 return "Error: array size mismatch";
121 std::ostringstream ret;
123 for (
int i=0;
i<x.
size();
i++) {
124 std::ostringstream xni;
125 xni << x_n <<
"[" <<
i <<
"]";
126 std::string cmp =
compare(xni.str(),x[
i],y[
i]);
148 dynamic_cast<const S&
>(node).
print(getStream());
150 addHtml(
"</pre><hr />");
170 _solution(
heap,1), n_solution(0),
171 _move(
heap,1), n_move(0), _compare(
heap,1), n_compare(0) {}
175 _click[
static_cast<int>(n_click++)] = i;
179 _solution[
static_cast<int>(n_solution++)] = i;
183 _move[
static_cast<int>(n_move++)] = i;
187 _compare[
static_cast<int>(n_compare++)] = c;
191 return (i < n_click) ? _click[
i] : NULL;
195 return (i < n_solution) ? _solution[
i] : NULL;
199 return (i < n_move) ? _move[
i] : NULL;
203 return (i < n_compare) ? _compare[
i] : NULL;
208 return explore(root,
false, opt);