main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Nov 9 2013 19:18:26 for Gecode by
doxygen
1.8.4
gecode
kernel
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
* Last modified:
10
* $Date: 2013-05-02 17:10:16 +0200 (Thu, 02 May 2013) $ by $Author: schulte $
11
* $Revision: 13603 $
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
46
48
class
GECODE_VTABLE_EXPORT
SpaceFailed
:
public
Exception
{
49
public
:
51
SpaceFailed
(
const
char
*
l
);
52
};
53
55
class
GECODE_VTABLE_EXPORT
SpaceNotStable
:
public
Exception
{
56
public
:
58
SpaceNotStable
(
const
char
*
l
);
59
};
60
62
class
GECODE_VTABLE_EXPORT
SpaceNotCloned
:
public
Exception
{
63
public
:
65
SpaceNotCloned
(
const
char
*
l
);
66
};
67
69
class
GECODE_VTABLE_EXPORT
SpaceNoBrancher
:
public
Exception
{
70
public
:
72
SpaceNoBrancher
(
const
char
*
l
);
73
};
74
76
class
GECODE_VTABLE_EXPORT
SpaceIllegalAlternative
:
public
Exception
{
77
public
:
79
SpaceIllegalAlternative
(
const
char
*
l
);
80
};
81
83
class
GECODE_VTABLE_EXPORT
TooManyBranchers
:
public
Exception
{
84
public
:
86
TooManyBranchers
(
const
char
*
l
);
87
};
88
90
class
GECODE_VTABLE_EXPORT
IllegalDecay
:
public
Exception
{
91
public
:
93
IllegalDecay
(
const
char
*
l
);
94
};
95
97
class
GECODE_VTABLE_EXPORT
UninitializedAFC
:
public
Exception
{
98
public
:
100
UninitializedAFC
(
const
char
*
l
);
101
};
102
104
class
GECODE_VTABLE_EXPORT
UninitializedActivity
:
public
Exception
{
105
public
:
107
UninitializedActivity
(
const
char
*
l
);
108
};
109
111
class
GECODE_VTABLE_EXPORT
UninitializedRnd
:
public
Exception
{
112
public
:
114
UninitializedRnd
(
const
char
*
l
);
115
};
116
118
class
GECODE_VTABLE_EXPORT
AFCWrongArity
:
public
Exception
{
119
public
:
121
AFCWrongArity
(
const
char
*
l
);
122
};
123
125
class
GECODE_VTABLE_EXPORT
ActivityWrongArity
:
public
Exception
{
126
public
:
128
ActivityWrongArity
(
const
char
*
l
);
129
};
130
132
133
/*
134
* Classes for exceptions raised by kernel
135
*
136
*/
137
inline
138
SpaceFailed::SpaceFailed
(
const
char
*
l
)
139
:
Exception
(l,
"Attempt to invoke operation on failed space"
) {}
140
141
inline
142
SpaceNotStable::SpaceNotStable
(
const
char
*
l
)
143
:
Exception
(l,
"Attempt to invoke operation on not stable space"
) {}
144
145
inline
146
SpaceNotCloned::SpaceNotCloned
(
const
char
*
l
)
147
:
Exception
(l,
"Copy constructor of space did not call base class copy constructor"
) {}
148
149
inline
150
SpaceNoBrancher::SpaceNoBrancher
(
const
char
*
l
)
151
:
Exception
(l,
"Attempt to commit with no brancher"
) {}
152
153
inline
154
SpaceIllegalAlternative::SpaceIllegalAlternative
(
const
char
*
l
)
155
:
Exception
(l,
"Attempt to commit with illegal alternative"
) {}
156
157
inline
158
TooManyBranchers::TooManyBranchers
(
const
char
*
l
)
159
:
Exception
(l,
"Too many branchers created"
) {}
160
161
inline
162
UninitializedRnd::UninitializedRnd
(
const
char
*
l
)
163
:
Exception
(l,
"Uninitialized random generator for branching"
) {}
164
165
inline
166
IllegalDecay::IllegalDecay
(
const
char
*
l
)
167
:
Exception
(l,
"Illegal decay factor"
) {}
168
169
inline
170
UninitializedAFC::UninitializedAFC
(
const
char
*
l
)
171
:
Exception
(l,
"Uninitialized AFC information for branching"
) {}
172
173
inline
174
UninitializedActivity::UninitializedActivity
(
const
char
*
l
)
175
:
Exception
(l,
"Uninitialized activity information for branching"
) {}
176
177
inline
178
AFCWrongArity::AFCWrongArity
(
const
char
*
l
)
179
:
Exception
(l,
"AFC has wrong number of variables"
) {}
180
181
inline
182
ActivityWrongArity::ActivityWrongArity
(
const
char
*
l
)
183
:
Exception
(l,
"Activity has wrong number of variables"
) {}
184
185
}
186
187
// STATISTICS: kernel-other