Skip to content

Commit 4d3c178

Browse files
chschultechschulte
committed
Merge branch 'master' of github.com:Gecode/gecode.github.io
2 parents a36ba87 + b303cfe commit 4d3c178

File tree

7,164 files changed

+1619608
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

7,164 files changed

+1619608
-0
lines changed

‎doc/6.2.0/reference/2dpacking_8cpp.html

Lines changed: 92 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,92 @@
1+
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2+
<html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
3+
<title>Gecode: test/flatzinc/2dpacking.cpp File Reference</title>
4+
<link href="stylesheet.css" rel="stylesheet" type="text/css">
5+
<!--[if IE]><style type="text/css">
6+
@media screen {
7+
html, body {
8+
height: 100%; overflow-y: hidden;
9+
background:#FFFFFF url(back.png) repeat-y;
10+
font-family:Arial,Helvetica,sans-serif;
11+
color:#000000;
12+
margin:0;
13+
padding:0;
14+
}
15+
#scrollable {
16+
height: 100%; width: 100%; overflow: auto;
17+
}
18+
}
19+
</style><![endif]-->
20+
</head>
21+
22+
<body>
23+
24+
<div id="logo">
25+
<img src='gecode-logo-100.png' alt="Gecode logo" /></div>
26+
27+
<div id="navigation">
28+
<div id="navigation2">
29+
<a class="navigation" href="index.html">main page</a>
30+
<a class="navigation" href="modules.html">modules</a>
31+
<a class="navigation" href="namespaces.html">namespaces</a>
32+
<a class="navigation" href="annotated.html">classes</a>
33+
<a class="navigation" href="files.html">files</a>
34+
<br>
35+
<a class="navigation" href="http://www.gecode.org/index.html">Gecode home</a>
36+
</div>
37+
</div>
38+
39+
<div id="footline">
40+
<address style="text-align: right;"><small>
41+
Generated on Thu Apr 11 13:59:32 2019 for Gecode by&nbsp;<a href="http://www.doxygen.org/index.html">doxygen</a> 1.6.3</small></address>
42+
</div>
43+
44+
<script type="text/javascript">
45+
function showInfo(i, show) {
46+
var moreinfo = "moreinfo"+i;
47+
var morelink = "morelink"+i;
48+
var lesslink = "lesslink"+i;
49+
var linkstyle = "inline";
50+
var infostyle = "block";
51+
if (show) {
52+
document.getElementById(lesslink).style.display="none";
53+
document.getElementById(morelink).style.display=linkstyle;
54+
document.getElementById(moreinfo).style.display=infostyle;
55+
} else {
56+
document.getElementById(lesslink).style.display=linkstyle;
57+
document.getElementById(morelink).style.display="none";
58+
document.getElementById(moreinfo).style.display="none";
59+
}
60+
}
61+
</script>
62+
63+
64+
<div id="scrollable">
65+
<div id="content">
66+
<!-- Generated by Doxygen 1.6.3 -->
67+
<div class="navpath"><a class="el" href="dir_67acba89e20e3b55c8368a1f045bb5b6.html">test</a>&nbsp;&raquo;&nbsp;<a class="el" href="dir_4492ca9f8c5781ed0b4d7f0958a9a96d.html">flatzinc</a>
68+
</div>
69+
<div class="contents">
70+
<h1>2dpacking.cpp File Reference</h1><code>#include &quot;<a class="el" href="2dpacking_8cpp_source.html">test/flatzinc.hh</a>&quot;</code><br/>
71+
<code>#include &lt;<a class="el" href="kernel_8hh_source.html">gecode/kernel.hh</a>&gt;</code><br/>
72+
<code>#include &lt;<a class="el" href="gecode_2flatzinc_8hh_source.html">gecode/flatzinc.hh</a>&gt;</code><br/>
73+
<code>#include &quot;<a class="el" href="test_8hh_source.html">test/test.hh</a>&quot;</code><br/>
74+
75+
<p><a href="2dpacking_8cpp_source.html">Go to the source code of this file.</a></p>
76+
<table border="0" cellpadding="0" cellspacing="0">
77+
<tr><td colspan="2"><h2>Namespaces</h2></td></tr>
78+
<tr><td class="memItemLeft" align="right" valign="top">namespace &nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceTest.html">Test</a></td></tr>
79+
80+
<p><tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight"><p>General test support. </p>
81+
<br/></td></tr>
82+
</p>
83+
<tr><td class="memItemLeft" align="right" valign="top">namespace &nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceTest_1_1FlatZinc.html">Test::FlatZinc</a></td></tr>
84+
85+
<p><tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight"><p>Tests for <a class="el" href="namespaceTest_1_1FlatZinc.html" title="Tests for FlatZinc.">FlatZinc</a>. </p>
86+
<br/></td></tr>
87+
</p>
88+
</table>
89+
</div>
90+
</div></div>
91+
</body>
92+
</html>

‎doc/6.2.0/reference/2dpacking_8cpp_source.html

Lines changed: 179 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,179 @@
1+
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2+
<html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
3+
<title>Gecode: test/flatzinc/2dpacking.cpp Source File</title>
4+
<link href="stylesheet.css" rel="stylesheet" type="text/css">
5+
<!--[if IE]><style type="text/css">
6+
@media screen {
7+
html, body {
8+
height: 100%; overflow-y: hidden;
9+
background:#FFFFFF url(back.png) repeat-y;
10+
font-family:Arial,Helvetica,sans-serif;
11+
color:#000000;
12+
margin:0;
13+
padding:0;
14+
}
15+
#scrollable {
16+
height: 100%; width: 100%; overflow: auto;
17+
}
18+
}
19+
</style><![endif]-->
20+
</head>
21+
22+
<body>
23+
24+
<div id="logo">
25+
<img src='gecode-logo-100.png' alt="Gecode logo" /></div>
26+
27+
<div id="navigation">
28+
<div id="navigation2">
29+
<a class="navigation" href="index.html">main page</a>
30+
<a class="navigation" href="modules.html">modules</a>
31+
<a class="navigation" href="namespaces.html">namespaces</a>
32+
<a class="navigation" href="annotated.html">classes</a>
33+
<a class="navigation" href="files.html">files</a>
34+
<br>
35+
<a class="navigation" href="http://www.gecode.org/index.html">Gecode home</a>
36+
</div>
37+
</div>
38+
39+
<div id="footline">
40+
<address style="text-align: right;"><small>
41+
Generated on Thu Apr 11 13:59:21 2019 for Gecode by&nbsp;<a href="http://www.doxygen.org/index.html">doxygen</a> 1.6.3</small></address>
42+
</div>
43+
44+
<script type="text/javascript">
45+
function showInfo(i, show) {
46+
var moreinfo = "moreinfo"+i;
47+
var morelink = "morelink"+i;
48+
var lesslink = "lesslink"+i;
49+
var linkstyle = "inline";
50+
var infostyle = "block";
51+
if (show) {
52+
document.getElementById(lesslink).style.display="none";
53+
document.getElementById(morelink).style.display=linkstyle;
54+
document.getElementById(moreinfo).style.display=infostyle;
55+
} else {
56+
document.getElementById(lesslink).style.display=linkstyle;
57+
document.getElementById(morelink).style.display="none";
58+
document.getElementById(moreinfo).style.display="none";
59+
}
60+
}
61+
</script>
62+
63+
64+
<div id="scrollable">
65+
<div id="content">
66+
<!-- Generated by Doxygen 1.6.3 -->
67+
<div class="navpath"><a class="el" href="dir_67acba89e20e3b55c8368a1f045bb5b6.html">test</a>&nbsp;&raquo;&nbsp;<a class="el" href="dir_4492ca9f8c5781ed0b4d7f0958a9a96d.html">flatzinc</a>
68+
</div>
69+
<div class="contents">
70+
<h1>2dpacking.cpp</h1><a href="2dpacking_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */</span>
71+
<a name="l00002"></a>00002 <span class="comment">/*</span>
72+
<a name="l00003"></a>00003 <span class="comment"> * Main authors:</span>
73+
<a name="l00004"></a>00004 <span class="comment"> * Guido Tack &lt;[email protected]&gt;</span>
74+
<a name="l00005"></a>00005 <span class="comment"> *</span>
75+
<a name="l00006"></a>00006 <span class="comment"> * Copyright:</span>
76+
<a name="l00007"></a>00007 <span class="comment"> * Guido Tack, 2014</span>
77+
<a name="l00008"></a>00008 <span class="comment"> *</span>
78+
<a name="l00009"></a>00009 <span class="comment"> * This file is part of Gecode, the generic constraint</span>
79+
<a name="l00010"></a>00010 <span class="comment"> * development environment:</span>
80+
<a name="l00011"></a>00011 <span class="comment"> * http://www.gecode.org</span>
81+
<a name="l00012"></a>00012 <span class="comment"> *</span>
82+
<a name="l00013"></a>00013 <span class="comment"> * Permission is hereby granted, free of charge, to any person obtaining</span>
83+
<a name="l00014"></a>00014 <span class="comment"> * a copy of this software and associated documentation files (the</span>
84+
<a name="l00015"></a>00015 <span class="comment"> * &quot;Software&quot;), to deal in the Software without restriction, including</span>
85+
<a name="l00016"></a>00016 <span class="comment"> * without limitation the rights to use, copy, modify, merge, publish,</span>
86+
<a name="l00017"></a>00017 <span class="comment"> * distribute, sublicense, and/or sell copies of the Software, and to</span>
87+
<a name="l00018"></a>00018 <span class="comment"> * permit persons to whom the Software is furnished to do so, subject to</span>
88+
<a name="l00019"></a>00019 <span class="comment"> * the following conditions:</span>
89+
<a name="l00020"></a>00020 <span class="comment"> *</span>
90+
<a name="l00021"></a>00021 <span class="comment"> * The above copyright notice and this permission notice shall be</span>
91+
<a name="l00022"></a>00022 <span class="comment"> * included in all copies or substantial portions of the Software.</span>
92+
<a name="l00023"></a>00023 <span class="comment"> *</span>
93+
<a name="l00024"></a>00024 <span class="comment"> * THE SOFTWARE IS PROVIDED &quot;AS IS&quot;, WITHOUT WARRANTY OF ANY KIND,</span>
94+
<a name="l00025"></a>00025 <span class="comment"> * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF</span>
95+
<a name="l00026"></a>00026 <span class="comment"> * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND</span>
96+
<a name="l00027"></a>00027 <span class="comment"> * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE</span>
97+
<a name="l00028"></a>00028 <span class="comment"> * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION</span>
98+
<a name="l00029"></a>00029 <span class="comment"> * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION</span>
99+
<a name="l00030"></a>00030 <span class="comment"> * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.</span>
100+
<a name="l00031"></a>00031 <span class="comment"> *</span>
101+
<a name="l00032"></a>00032 <span class="comment"> */</span>
102+
<a name="l00033"></a>00033
103+
<a name="l00034"></a>00034 <span class="preprocessor">#include &quot;<a class="code" href="test_2flatzinc_8hh.html">test/flatzinc.hh</a>&quot;</span>
104+
<a name="l00035"></a><a class="code" href="namespaceTest_1_1FlatZinc.html">00035</a>
105+
<a name="l00036"></a>00036 <span class="keyword">namespace </span>Test { <span class="keyword">namespace </span>FlatZinc {
106+
<a name="l00037"></a>00037
107+
<a name="l00038"></a>00038 <span class="keyword">namespace </span>{
108+
<a name="l00040"></a>00040 <span class="keyword">class </span>Create {
109+
<a name="l00041"></a>00041 <span class="keyword">public</span>:
110+
<a name="l00042"></a>00042
111+
<a name="l00044"></a>00044 Create(<span class="keywordtype">void</span>) {
112+
<a name="l00045"></a>00045 (void) <span class="keyword">new</span> <a class="code" href="classTest_1_1FlatZinc_1_1FlatZincTest.html" title="Base class for tests for FlatZinc">FlatZincTest</a>(<span class="stringliteral">&quot;2DPacking&quot;</span>,
113+
<a name="l00046"></a>00046 <span class="stringliteral">&quot;predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\</span>
114+
<a name="l00047"></a>00047 <span class="stringliteral">predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\</span>
115+
<a name="l00048"></a>00048 <span class="stringliteral">predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\</span>
116+
<a name="l00049"></a>00049 <span class="stringliteral">predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\</span>
117+
<a name="l00050"></a>00050 <span class="stringliteral">array [1..4] of int: ItemHeight = [4, 4, 4, 3];\n\</span>
118+
<a name="l00051"></a>00051 <span class="stringliteral">array [1..4] of int: ItemWidth = [1, 1, 2, 3];\n\</span>
119+
<a name="l00052"></a>00052 <span class="stringliteral">var 0..2: INT____00001 :: is_defined_var :: var_is_introduced;\n\</span>
120+
<a name="l00053"></a>00053 <span class="stringliteral">array [1..2] of var 0..1: bin;\n\</span>
121+
<a name="l00054"></a>00054 <span class="stringliteral">array [1..8] of var 0..1: item :: output_array([1..2, 1..4]);\n\</span>
122+
<a name="l00055"></a>00055 <span class="stringliteral">var 0..2: obj :: output_var = INT____00001;\n\</span>
123+
<a name="l00056"></a>00056 <span class="stringliteral">array [1..16] of var 0..1: x____00002;\n\</span>
124+
<a name="l00057"></a>00057 <span class="stringliteral">array [1..16] of var 0..1: x____00003;\n\</span>
125+
<a name="l00058"></a>00058 <span class="stringliteral">constraint int_eq(x____00002[5], 0);\n\</span>
126+
<a name="l00059"></a>00059 <span class="stringliteral">constraint int_eq(x____00002[9], 0);\n\</span>
127+
<a name="l00060"></a>00060 <span class="stringliteral">constraint int_eq(x____00002[10], 0);\n\</span>
128+
<a name="l00061"></a>00061 <span class="stringliteral">constraint int_eq(x____00002[13], 0);\n\</span>
129+
<a name="l00062"></a>00062 <span class="stringliteral">constraint int_eq(x____00002[14], 0);\n\</span>
130+
<a name="l00063"></a>00063 <span class="stringliteral">constraint int_eq(x____00002[15], 0);\n\</span>
131+
<a name="l00064"></a>00064 <span class="stringliteral">constraint int_eq(x____00003[5], 0);\n\</span>
132+
<a name="l00065"></a>00065 <span class="stringliteral">constraint int_eq(x____00003[9], 0);\n\</span>
133+
<a name="l00066"></a>00066 <span class="stringliteral">constraint int_eq(x____00003[10], 0);\n\</span>
134+
<a name="l00067"></a>00067 <span class="stringliteral">constraint int_eq(x____00003[13], 0);\n\</span>
135+
<a name="l00068"></a>00068 <span class="stringliteral">constraint int_eq(x____00003[14], 0);\n\</span>
136+
<a name="l00069"></a>00069 <span class="stringliteral">constraint int_eq(x____00003[15], 0);\n\</span>
137+
<a name="l00070"></a>00070 <span class="stringliteral">constraint int_lin_eq([1, -1], [item[1], x____00002[1]], 0);\n\</span>
138+
<a name="l00071"></a>00071 <span class="stringliteral">constraint int_lin_eq([1, -1], [item[5], x____00003[1]], 0);\n\</span>
139+
<a name="l00072"></a>00072 <span class="stringliteral">constraint int_lin_eq([1, 1], [item[1], item[5]], 1);\n\</span>
140+
<a name="l00073"></a>00073 <span class="stringliteral">constraint int_lin_eq([1, 1], [item[2], item[6]], 1);\n\</span>
141+
<a name="l00074"></a>00074 <span class="stringliteral">constraint int_lin_eq([1, 1], [item[3], item[7]], 1);\n\</span>
142+
<a name="l00075"></a>00075 <span class="stringliteral">constraint int_lin_eq([1, 1], [item[4], item[8]], 1);\n\</span>
143+
<a name="l00076"></a>00076 <span class="stringliteral">constraint int_lin_eq([1, -1, -1], [item[1], x____00002[2], x____00002[6]], 0);\n\</span>
144+
<a name="l00077"></a>00077 <span class="stringliteral">constraint int_lin_eq([1, -1, -1], [item[5], x____00003[2], x____00003[6]], 0);\n\</span>
145+
<a name="l00078"></a>00078 <span class="stringliteral">constraint int_lin_eq([1, -1, -1, -1], [item[1], x____00002[3], x____00002[7], x____00002[11]], 0);\n\</span>
146+
<a name="l00079"></a>00079 <span class="stringliteral">constraint int_lin_eq([1, -1, -1, -1], [item[5], x____00003[3], x____00003[7], x____00003[11]], 0);\n\</span>
147+
<a name="l00080"></a>00080 <span class="stringliteral">constraint int_lin_eq([1, -1, -1, -1, -1], [item[1], x____00002[4], x____00002[8], x____00002[12], x____00002[16]], 0);\n\</span>
148+
<a name="l00081"></a>00081 <span class="stringliteral">constraint int_lin_eq([1, -1, -1, -1, -1], [item[5], x____00003[4], x____00003[8], x____00003[12], x____00003[16]], 0);\n\</span>
149+
<a name="l00082"></a>00082 <span class="stringliteral">constraint int_lin_le([-2], [x____00002[16]], 0);\n\</span>
150+
<a name="l00083"></a>00083 <span class="stringliteral">constraint int_lin_le([-2], [x____00003[16]], 0);\n\</span>
151+
<a name="l00084"></a>00084 <span class="stringliteral">constraint int_lin_le([-3, 3], [x____00002[11], x____00002[12]], 0);\n\</span>
152+
<a name="l00085"></a>00085 <span class="stringliteral">constraint int_lin_le([-3, 3], [x____00003[11], x____00003[12]], 0);\n\</span>
153+
<a name="l00086"></a>00086 <span class="stringliteral">constraint int_lin_le([-4, 2, 3], [x____00002[6], x____00002[7], x____00002[8]], 0);\n\</span>
154+
<a name="l00087"></a>00087 <span class="stringliteral">constraint int_lin_le([-4, 2, 3], [x____00003[6], x____00003[7], x____00003[8]], 0);\n\</span>
155+
<a name="l00088"></a>00088 <span class="stringliteral">constraint int_lin_le([-4, 1, 2, 3], [x____00002[1], x____00002[2], x____00002[3], x____00002[4]], 0);\n\</span>
156+
<a name="l00089"></a>00089 <span class="stringliteral">constraint int_lin_le([-4, 1, 2, 3], [x____00003[1], x____00003[2], x____00003[3], x____00003[4]], 0);\n\</span>
157+
<a name="l00090"></a>00090 <span class="stringliteral">constraint int_lin_le([-10, 4, 4, 4, 3], [bin[1], x____00002[1], x____00002[6], x____00002[11], x____00002[16]], 0);\n\</span>
158+
<a name="l00091"></a>00091 <span class="stringliteral">constraint int_lin_le([-10, 4, 4, 4, 3], [bin[2], x____00003[1], x____00003[6], x____00003[11], x____00003[16]], 0);\n\</span>
159+
<a name="l00092"></a>00092 <span class="stringliteral">constraint int_plus(bin[1], bin[2], INT____00001) :: defines_var(INT____00001);\n\</span>
160+
<a name="l00093"></a>00093 <span class="stringliteral">solve minimize INT____00001;\n\</span>
161+
<a name="l00094"></a>00094 <span class="stringliteral">&quot;</span>,
162+
<a name="l00095"></a>00095 <span class="stringliteral">&quot;item = array2d(1..2, 1..4, [1, 1, 1, 1, 0, 0, 0, 0]);\n\</span>
163+
<a name="l00096"></a>00096 <span class="stringliteral">obj = 1;\n\</span>
164+
<a name="l00097"></a>00097 <span class="stringliteral">----------\n\</span>
165+
<a name="l00098"></a>00098 <span class="stringliteral">==========\n\</span>
166+
<a name="l00099"></a>00099 <span class="stringliteral">&quot;</span>);
167+
<a name="l00100"></a>00100 }
168+
<a name="l00101"></a>00101 };
169+
<a name="l00102"></a>00102
170+
<a name="l00103"></a>00103 Create <a class="code" href="group__TaskTestFloatArithmetic.html#ga344cce338cd01063b5828d3e3cf2d161">c</a>;
171+
<a name="l00104"></a>00104 }
172+
<a name="l00105"></a>00105
173+
<a name="l00106"></a>00106 }}
174+
<a name="l00107"></a>00107
175+
<a name="l00108"></a>00108 <span class="comment">// STATISTICS: test-flatzinc</span>
176+
</pre></div></div>
177+
</div></div>
178+
</body>
179+
</html>

0 commit comments

Comments
 (0)