Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
exception.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 * 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 {
35
40
42
45 public:
47 SpaceFailed(const char* l);
48 };
49
52 public:
54 SpaceNotStable(const char* l);
55 };
56
59 public:
61 SpaceNotCloned(const char* l);
62 };
63
66 public:
68 SpaceNoBrancher(const char* l);
69 };
70
73 public:
75 SpaceIllegalAlternative(const char* l);
76 };
77
80 public:
82 TooManyGroups(const char* l);
83 };
84
87 public:
89 UnknownPropagator(const char* l);
90 };
91
94 public:
96 TooManyBranchers(const char* l);
97 };
98
101 public:
103 UnknownBrancher(const char* l);
104 };
105
108 public:
110 IllegalDecay(const char* l);
111 };
112
115 public:
117 InvalidFunction(const char* l);
118 };
119
122 public:
124 UninitializedAFC(const char* l);
125 };
126
129 public:
131 UninitializedAction(const char* l);
132 };
133
136 public:
138 UninitializedCHB(const char* l);
139 };
140
143 public:
145 UninitializedRnd(const char* l);
146 };
147
150 public:
152 MoreThanOneTracer(const char* l);
153 };
154
156
157}
158
159// STATISTICS: kernel-other
Exception(const char *l, const char *i)
Initialize with location l and information i.
Definition exception.cpp:42
IllegalDecay(const char *l)
Initialize with location l.
Definition exception.cpp:77
InvalidFunction(const char *l)
Initialize with location l.
Definition exception.cpp:80
MoreThanOneTracer(const char *l)
Initialize with location l.
Definition exception.cpp:83
SpaceFailed(const char *l)
Initialize with location l.
Definition exception.cpp:38
SpaceIllegalAlternative(const char *l)
Initialize with location l.
Definition exception.cpp:50
SpaceNoBrancher(const char *l)
Initialize with location l.
Definition exception.cpp:47
SpaceNotCloned(const char *l)
Initialize with location l.
Definition exception.cpp:44
SpaceNotStable(const char *l)
Initialize with location l.
Definition exception.cpp:41
TooManyBranchers(const char *l)
Initialize with location l.
Definition exception.cpp:59
TooManyGroups(const char *l)
Initialize with location l.
Definition exception.cpp:53
UninitializedAFC(const char *l)
Initialize with location l.
Definition exception.cpp:65
UninitializedAction(const char *l)
Initialize with location l.
Definition exception.cpp:68
UninitializedCHB(const char *l)
Initialize with location l.
Definition exception.cpp:71
UninitializedRnd(const char *l)
Initialize with location l.
Definition exception.cpp:74
UnknownBrancher(const char *l)
Initialize with location l.
Definition exception.cpp:62
UnknownPropagator(const char *l)
Initialize with location l.
Definition exception.cpp:56
#define GECODE_KERNEL_EXPORT
Definition kernel.hh:70
Gecode toplevel namespace