main page
modules
namespaces
classes
files
Gecode home
Generated on Tue Jan 28 2020 00:00:00 for Gecode by
doxygen
1.8.17
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: 2017-03-17 23:04:57 +0100 (Fri, 17 Mar 2017) $ by $Author: schulte $
11
* $Revision: 15597 $
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_KERNEL_EXPORT
SpaceFailed
:
public
Exception
{
49
public
:
51
SpaceFailed
(
const
char
*
l
);
52
};
53
55
class
GECODE_KERNEL_EXPORT
SpaceNotStable
:
public
Exception
{
56
public
:
58
SpaceNotStable
(
const
char
*
l
);
59
};
60
62
class
GECODE_KERNEL_EXPORT
SpaceNotCloned
:
public
Exception
{
63
public
:
65
SpaceNotCloned
(
const
char
*
l
);
66
};
67
69
class
GECODE_KERNEL_EXPORT
SpaceNoBrancher
:
public
Exception
{
70
public
:
72
SpaceNoBrancher
(
const
char
*
l
);
73
};
74
76
class
GECODE_KERNEL_EXPORT
SpaceIllegalAlternative
:
public
Exception
{
77
public
:
79
SpaceIllegalAlternative
(
const
char
*
l
);
80
};
81
83
class
GECODE_KERNEL_EXPORT
TooManyGroups
:
public
Exception
{
84
public
:
86
TooManyGroups
(
const
char
*
l
);
87
};
88
90
class
GECODE_KERNEL_EXPORT
UnknownPropagator
:
public
Exception
{
91
public
:
93
UnknownPropagator
(
const
char
*
l
);
94
};
95
97
class
GECODE_KERNEL_EXPORT
TooManyBranchers
:
public
Exception
{
98
public
:
100
TooManyBranchers
(
const
char
*
l
);
101
};
102
104
class
GECODE_KERNEL_EXPORT
UnknownBrancher
:
public
Exception
{
105
public
:
107
UnknownBrancher
(
const
char
*
l
);
108
};
109
111
class
GECODE_KERNEL_EXPORT
IllegalDecay
:
public
Exception
{
112
public
:
114
IllegalDecay
(
const
char
*
l
);
115
};
116
118
class
GECODE_KERNEL_EXPORT
InvalidFunction
:
public
Exception
{
119
public
:
121
InvalidFunction
(
const
char
*
l
);
122
};
123
125
class
GECODE_KERNEL_EXPORT
UninitializedAFC
:
public
Exception
{
126
public
:
128
UninitializedAFC
(
const
char
*
l
);
129
};
130
132
class
GECODE_KERNEL_EXPORT
UninitializedAction
:
public
Exception
{
133
public
:
135
UninitializedAction
(
const
char
*
l
);
136
};
137
139
class
GECODE_KERNEL_EXPORT
UninitializedCHB
:
public
Exception
{
140
public
:
142
UninitializedCHB
(
const
char
*
l
);
143
};
144
146
class
GECODE_KERNEL_EXPORT
UninitializedRnd
:
public
Exception
{
147
public
:
149
UninitializedRnd
(
const
char
*
l
);
150
};
151
153
class
GECODE_KERNEL_EXPORT
MoreThanOneTracer
:
public
Exception
{
154
public
:
156
MoreThanOneTracer
(
const
char
*
l
);
157
};
158
160
161
}
162
163
// STATISTICS: kernel-other
Gecode::SpaceNoBrancher
Exception: Commit when no brancher present
Definition:
exception.hpp:69
Gecode::SpaceNotCloned
Exception: Copy constructor did not call base class copy constructor
Definition:
exception.hpp:62
Gecode::SpaceIllegalAlternative
Exception: Commit with illegal alternative
Definition:
exception.hpp:76
Gecode::TooManyBranchers
Exception: too many branchers
Definition:
exception.hpp:97
Gecode::SpaceNotStable
Exception: Operation on not stable space invoked
Definition:
exception.hpp:55
Gecode::UninitializedAFC
Exception: uninitialized AFC
Definition:
exception.hpp:125
Gecode::UnknownBrancher
Exception: unknown brancher
Definition:
exception.hpp:104
Gecode
Gecode toplevel namespace
Gecode::UnknownPropagator
Exception: unknown propagator
Definition:
exception.hpp:90
Gecode::SpaceFailed
Exception: Operation on failed space invoked
Definition:
exception.hpp:48
Gecode::TooManyGroups
Exception: too many groups
Definition:
exception.hpp:83
GECODE_KERNEL_EXPORT
#define GECODE_KERNEL_EXPORT
Definition:
kernel.hh:74
Gecode::MoreThanOneTracer
Exception: action has wrong arity
Definition:
exception.hpp:153
l
NNF * l
Left subtree.
Definition:
bool-expr.cpp:244
Gecode::InvalidFunction
Exception: invalid function
Definition:
exception.hpp:118
Gecode::IllegalDecay
Exception: illegal decay factor
Definition:
exception.hpp:111
Gecode::UninitializedAction
Exception: uninitialized action
Definition:
exception.hpp:132
Gecode::UninitializedRnd
Exception: uninitialized random number generator
Definition:
exception.hpp:146
Gecode::UninitializedCHB
Exception: uninitialized action
Definition:
exception.hpp:139
Gecode::Exception
Exception: Base-class for exceptions
Definition:
exception.hpp:46