main page
modules
namespaces
classes
files
Gecode home
Generated on Sat May 25 2013 18:00:39 for Gecode by
doxygen
1.8.3.1
gecode
kernel
branch-tiebreak.hpp
Go to the documentation of this file.
1
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2
/*
3
* Main authors:
4
* Christian Schulte <schulte@gecode.org>
5
*
6
* Copyright:
7
* Christian Schulte, 2012
8
*
9
* Last modified:
10
* $Date: 2013-02-08 16:47:00 +0100 (Fri, 08 Feb 2013) $ by $Author: schulte $
11
* $Revision: 13278 $
12
*
13
* This file is part of Gecode, the generic constraint
14
* development environment:
15
* http://www.gecode.org
16
*
17
* Permission is hereby granted, free of charge, to any person obtaining
18
* a copy of this software and associated documentation files (the
19
* "Software"), to deal in the Software without restriction, including
20
* without limitation the rights to use, copy, modify, merge, publish,
21
* distribute, sublicense, and/or sell copies of the Software, and to
22
* permit persons to whom the Software is furnished to do so, subject to
23
* the following conditions:
24
*
25
* The above copyright notice and this permission notice shall be
26
* included in all copies or substantial portions of the Software.
27
*
28
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
29
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
30
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
31
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
32
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
33
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
34
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
35
*
36
*/
37
38
namespace
Gecode {
39
41
template
<
class
VarBranch>
42
class
TieBreak
{
43
public
:
45
VarBranch
a
,
b
,
c
,
d
;
47
TieBreak
(
VarBranch
a0 =
VarBranch
(),
48
VarBranch
b0 =
VarBranch
(),
49
VarBranch
c0 =
VarBranch
(),
50
VarBranch
d0 =
VarBranch
());
51
};
52
59
60
template
<
class
VarBranch>
61
TieBreak<VarBranch>
62
tiebreak
(
VarBranch
a
,
VarBranch
b
);
64
template
<
class
VarBranch>
65
TieBreak<VarBranch>
66
tiebreak
(
VarBranch
a
,
VarBranch
b
,
VarBranch
c
);
68
template
<
class
VarBranch>
69
TieBreak<VarBranch>
70
tiebreak
(
VarBranch
a
,
VarBranch
b
,
VarBranch
c
,
VarBranch
d
);
72
73
74
template
<
class
VarBranch>
75
forceinline
76
TieBreak<VarBranch>::TieBreak
(
VarBranch
a0,
77
VarBranch
b0,
78
VarBranch
c0,
79
VarBranch
d0)
80
:
a
(a0),
b
(b0),
c
(c0),
d
(d0) {}
81
82
template
<
class
VarBranch>
83
forceinline
TieBreak<VarBranch>
84
tiebreak
(
VarBranch
a
,
VarBranch
b
) {
85
TieBreak<VarBranch>
ab(a,b);
86
return
ab;
87
}
88
89
template
<
class
VarBranch>
90
forceinline
TieBreak<VarBranch>
91
tiebreak
(
VarBranch
a
,
VarBranch
b
,
VarBranch
c
) {
92
TieBreak<VarBranch>
abc(a,b,c);
93
return
abc;
94
}
95
96
template
<
class
VarBranch>
97
forceinline
TieBreak<VarBranch>
98
tiebreak
(
VarBranch
a
,
VarBranch
b
,
VarBranch
c
,
VarBranch
d
) {
99
TieBreak<VarBranch>
abcd(a,b,c,d);
100
return
abcd;
101
}
102
103
}
104
105
// STATISTICS: kernel-branch