Generated on Sat Feb 7 2015 02:01:26 for Gecode by doxygen 1.8.9.1
ranges-empty.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, 2004
8  *
9  * Last modified:
10  * $Date: 2008-12-05 16:43:57 +0100 (Fri, 05 Dec 2008) $ by $Author: schulte $
11  * $Revision: 7989 $
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 { namespace Iter { namespace Ranges {
39 
46  class Empty {
47  public:
49 
50  Empty(void);
53  void init(void);
55 
57 
58  bool operator ()(void) const;
61  void operator ++(void);
63 
65 
66  int min(void) const;
69  int max(void) const;
71  unsigned int width(void) const;
73  };
74 
75 
77  Empty::Empty(void) {}
78 
79  forceinline void
80  Empty::init(void) {}
81 
82  forceinline void
85  }
86 
87  forceinline bool
88  Empty::operator ()(void) const {
89  return false;
90  }
91 
92  forceinline int
93  Empty::min(void) const {
95  return 0;
96  }
97  forceinline int
98  Empty::max(void) const {
100  return 0;
101  }
102  forceinline unsigned int
103  Empty::width(void) const {
104  GECODE_NEVER;
105  return 0;
106  }
107 
108 }}}
109 
110 // STATISTICS: iter-any
111 
void operator++(void)
Move iterator to next range (if possible)
int min(void) const
Return smallest value of range.
Empty(void)
Default constructor.
#define forceinline
Definition: config.hpp:132
Gecode toplevel namespace
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Range iterator for empty range.
void init(void)
Initialize.
#define GECODE_NEVER
Assert that this command is never executed.
Definition: macros.hpp:60
bool operator()(void) const
Test whether iterator is still at a range or done.
int max(void) const
Return largest value of range.