Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
ranges-array.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, 2006
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
34namespace Gecode { namespace Iter { namespace Ranges {
35
46 class Array {
47 public:
49 class Range {
50 public:
51 int min;
52 int max;
53 };
54 protected:
58 unsigned int c;
60 unsigned int n;
61 public:
63
64
65 Array(void);
67 Array(Range* r, unsigned int n);
69 Array(Range* r, int n);
71 void init(Range* r, unsigned int n);
73 void init(Range* r, int n);
75
77
78
79 bool operator ()(void) const;
81 void operator ++(void);
83 void reset(void);
85
87
88
89 int min(void) const;
91 int max(void) const;
93 unsigned int width(void) const;
95 };
96
97
99 Array::Array(void) {}
100
102 Array::Array(Range* r0, unsigned int n0)
103 : r(r0), c(0U), n(n0) {}
104
106 Array::Array(Range* r0, int n0)
107 : r(r0), c(0U), n(static_cast<unsigned int>(n0)) {}
108
109 forceinline void
110 Array::init(Range* r0, unsigned int n0) {
111 r=r0; c=0U; n=n0;
112 }
113
114 forceinline void
115 Array::init(Range* r0, int n0) {
116 r=r0; c=0U; n=static_cast<unsigned int>(n0);
117 }
118
119 forceinline void
121 c++;
122 }
123 forceinline bool
124 Array::operator ()(void) const {
125 return c < n;
126 }
127
128 forceinline void
130 c=0U;
131 }
132
133 forceinline int
134 Array::min(void) const {
135 return r[c].min;
136 }
137 forceinline int
138 Array::max(void) const {
139 return r[c].max;
140 }
141 forceinline unsigned int
142 Array::width(void) const {
143 return static_cast<unsigned int>(r[c].max-r[c].min)+1;
144 }
145
146}}}
147
148// STATISTICS: iter-any
149
int n
Number of negative literals for node type.
Range iterator for array of ranges
bool operator()(void) const
Test whether iterator is still at a range or done.
unsigned int c
Current range.
unsigned int n
Number of ranges in array.
int min(void) const
Return smallest value of range.
void reset(void)
Reset iterator to start from beginning.
Array(void)
Default constructor.
void init(Range *r, unsigned int n)
Initialize with n ranges from r.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Range * r
Array for ranges.
int max(void) const
Return largest value of range.
void operator++(void)
Move iterator to next range (if possible)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition set.hh:767
#define forceinline
Definition config.hpp:187