main page
modules
namespaces
classes
files
Gecode home
Generated on Wed Jan 1 2020 10:37:59 for Gecode by
doxygen
1.8.16
gecode
iter
values-minus.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, 2007
8
*
9
* This file is part of Gecode, the generic constraint
10
* development environment:
11
* http://www.gecode.org
12
*
13
* Permission is hereby granted, free of charge, to any person obtaining
14
* a copy of this software and associated documentation files (the
15
* "Software"), to deal in the Software without restriction, including
16
* without limitation the rights to use, copy, modify, merge, publish,
17
* distribute, sublicense, and/or sell copies of the Software, and to
18
* permit persons to whom the Software is furnished to do so, subject to
19
* the following conditions:
20
*
21
* The above copyright notice and this permission notice shall be
22
* included in all copies or substantial portions of the Software.
23
*
24
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
25
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
27
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
28
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
29
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
30
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
31
*
32
*/
33
34
namespace
Gecode
{
namespace
Iter {
namespace
Values {
35
47
class
Minus
:
public
ValueListIter
{
48
public
:
50
51
Minus
(
void
);
54
Minus
(
const
Minus
& m);
56
template
<
class
I>
57
Minus
(
Region
&
r
, I&
i
);
59
template
<
class
I>
60
void
init
(
Region
&
r
, I&
i
);
62
Minus
&
operator =
(
const
Minus
& m);
64
};
65
66
67
forceinline
68
Minus::Minus
(
void
) {}
69
70
forceinline
71
Minus::Minus
(
const
Minus
& m)
72
:
ValueListIter
(m) {}
73
74
template
<
class
I>
75
void
76
Minus::init
(
Region
&
r
, I&
i
) {
77
ValueListIter::init
(
r
);
78
ValueList
*
p
= NULL;
79
for
(;
i
(); ++
i
) {
80
ValueList
*
t
=
new
(*vlio)
ValueList
;
81
t
->next =
p
;
82
t
->val = -
i
.val();
83
p
=
t
;
84
}
85
ValueListIter::set
(
p
);
86
}
87
88
template
<
class
I>
89
forceinline
90
Minus::Minus
(
Region
&
r
, I&
i
) {
91
init
(
r
,
i
);
92
}
93
94
forceinline
Minus
&
95
Minus::operator =
(
const
Minus
& m) {
96
return
static_cast<Minus&>(ValueListIter::operator =(m));
97
}
98
99
}}}
100
101
// STATISTICS: iter-any
Gecode::Iter::Values::ValueListIter::init
void init(Region &r)
Initialize.
Definition:
values-list.hpp:118
Gecode::Iter::Values::ValueListIter::ValueList
Value list class.
Definition:
values-list.hpp:44
t
NodeType t
Type of node.
Definition:
bool-expr.cpp:230
Gecode::Iter::Values::Minus
Value iterator for pointwise minus of a value iterator.
Definition:
values-minus.hpp:47
Gecode
Gecode toplevel namespace
Gecode::Iter::Values::ValueListIter
Iterator over value lists.
Definition:
values-list.hpp:41
Gecode::Region
Handle to region.
Definition:
region.hpp:55
Gecode::r
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition:
set.hh:767
Gecode::Iter::Values::Minus::init
void init(Region &r, I &i)
Initialize with values from i.
Definition:
values-minus.hpp:76
forceinline
#define forceinline
Definition:
config.hpp:185
Gecode::Iter::Values::Minus::Minus
Minus(void)
Default constructor.
Definition:
values-minus.hpp:68
Test::Int::Basic::i
Gecode::IntArgs i({1, 2, 3, 4})
p
int p
Number of positive literals for node type.
Definition:
bool-expr.cpp:232
Gecode::Iter::Values::Minus::operator=
Minus & operator=(const Minus &m)
Assignment operator (both iterators must be allocated from the same region)
Definition:
values-minus.hpp:95
Gecode::Iter::Values::ValueListIter::set
void set(ValueList *l)
Set value lists.
Definition:
values-list.hpp:155