Gecode::SpaceNotCloned Class Reference
[Kernel exceptions]

Exception: Copy constructor did not call base class copy constructor More...

#include <exception.hpp>

List of all members.

Public Member Functions
	SpaceNotCloned (const char *l)
	Initialize with location l.

---

Detailed Description

Exception: Copy constructor did not call base class copy constructor

Definition at line 62 of file exception.hpp.

---

Constructor & Destructor Documentation

Gecode::SpaceNotCloned::SpaceNotCloned

(

const char *

l

)

[inline]

Initialize with location l.

Definition at line 146 of file exception.hpp.

---

The documentation for this class was generated from the following file:

• gecode/kernel/exception.hpp (Revision: 13603)