main page
modules
namespaces
classes
files
Gecode home
Generated on Wed Jan 1 2020 10:37:59 for Gecode by
doxygen
1.8.16
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
* 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
34
namespace
Gecode
{
35
42
44
class
GECODE_KERNEL_EXPORT
SpaceFailed
:
public
Exception
{
45
public
:
47
SpaceFailed
(
const
char
*
l
);
48
};
49
51
class
GECODE_KERNEL_EXPORT
SpaceNotStable
:
public
Exception
{
52
public
:
54
SpaceNotStable
(
const
char
*
l
);
55
};
56
58
class
GECODE_KERNEL_EXPORT
SpaceNotCloned
:
public
Exception
{
59
public
:
61
SpaceNotCloned
(
const
char
*
l
);
62
};
63
65
class
GECODE_KERNEL_EXPORT
SpaceNoBrancher
:
public
Exception
{
66
public
:
68
SpaceNoBrancher
(
const
char
*
l
);
69
};
70
72
class
GECODE_KERNEL_EXPORT
SpaceIllegalAlternative
:
public
Exception
{
73
public
:
75
SpaceIllegalAlternative
(
const
char
*
l
);
76
};
77
79
class
GECODE_KERNEL_EXPORT
TooManyGroups
:
public
Exception
{
80
public
:
82
TooManyGroups
(
const
char
*
l
);
83
};
84
86
class
GECODE_KERNEL_EXPORT
UnknownPropagator
:
public
Exception
{
87
public
:
89
UnknownPropagator
(
const
char
*
l
);
90
};
91
93
class
GECODE_KERNEL_EXPORT
TooManyBranchers
:
public
Exception
{
94
public
:
96
TooManyBranchers
(
const
char
*
l
);
97
};
98
100
class
GECODE_KERNEL_EXPORT
UnknownBrancher
:
public
Exception
{
101
public
:
103
UnknownBrancher
(
const
char
*
l
);
104
};
105
107
class
GECODE_KERNEL_EXPORT
IllegalDecay
:
public
Exception
{
108
public
:
110
IllegalDecay
(
const
char
*
l
);
111
};
112
114
class
GECODE_KERNEL_EXPORT
InvalidFunction
:
public
Exception
{
115
public
:
117
InvalidFunction
(
const
char
*
l
);
118
};
119
121
class
GECODE_KERNEL_EXPORT
UninitializedAFC
:
public
Exception
{
122
public
:
124
UninitializedAFC
(
const
char
*
l
);
125
};
126
128
class
GECODE_KERNEL_EXPORT
UninitializedAction
:
public
Exception
{
129
public
:
131
UninitializedAction
(
const
char
*
l
);
132
};
133
135
class
GECODE_KERNEL_EXPORT
UninitializedCHB
:
public
Exception
{
136
public
:
138
UninitializedCHB
(
const
char
*
l
);
139
};
140
142
class
GECODE_KERNEL_EXPORT
UninitializedRnd
:
public
Exception
{
143
public
:
145
UninitializedRnd
(
const
char
*
l
);
146
};
147
149
class
GECODE_KERNEL_EXPORT
MoreThanOneTracer
:
public
Exception
{
150
public
:
152
MoreThanOneTracer
(
const
char
*
l
);
153
};
154
156
157
}
158
159
// STATISTICS: kernel-other
Gecode::SpaceNoBrancher
Exception: Commit when no brancher present
Definition:
exception.hpp:65
Gecode::SpaceNotCloned
Exception: Copy constructor did not call base class copy constructor
Definition:
exception.hpp:58
Gecode::SpaceIllegalAlternative
Exception: Commit with illegal alternative
Definition:
exception.hpp:72
Gecode::TooManyBranchers
Exception: too many branchers
Definition:
exception.hpp:93
Gecode::SpaceNotStable
Exception: Operation on not stable space invoked
Definition:
exception.hpp:51
Gecode::UninitializedAFC
Exception: uninitialized AFC
Definition:
exception.hpp:121
Gecode::UnknownBrancher
Exception: unknown brancher
Definition:
exception.hpp:100
Gecode
Gecode toplevel namespace
Gecode::UnknownPropagator
Exception: unknown propagator
Definition:
exception.hpp:86
Gecode::SpaceFailed
Exception: Operation on failed space invoked
Definition:
exception.hpp:44
Gecode::TooManyGroups
Exception: too many groups
Definition:
exception.hpp:79
GECODE_KERNEL_EXPORT
#define GECODE_KERNEL_EXPORT
Definition:
kernel.hh:70
Gecode::MoreThanOneTracer
Exception: action has wrong arity
Definition:
exception.hpp:149
l
NNF * l
Left subtree.
Definition:
bool-expr.cpp:240
Gecode::InvalidFunction
Exception: invalid function
Definition:
exception.hpp:114
Gecode::IllegalDecay
Exception: illegal decay factor
Definition:
exception.hpp:107
Gecode::UninitializedAction
Exception: uninitialized action
Definition:
exception.hpp:128
Gecode::UninitializedRnd
Exception: uninitialized random number generator
Definition:
exception.hpp:142
Gecode::UninitializedCHB
Exception: uninitialized CHB
Definition:
exception.hpp:135
Gecode::Exception
Exception: Base-class for exceptions
Definition:
exception.hpp:42