Generated on Wed Nov 5 2014 05:18:39 for Gecode by doxygen 1.7.6.1
Gecode::SpaceNotCloned Class Reference

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: