Generated on Fri Oct 19 11:25:50 2018 for Gecode by doxygen 1.6.3

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 58 of file exception.hpp.


Constructor & Destructor Documentation

Gecode::SpaceNotCloned::SpaceNotCloned ( const char *  l  ) 

Initialize with location l.

Definition at line 44 of file exception.cpp.


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