Generated on Thu Apr 11 13:59:55 2019 for Gecode by doxygen 1.6.3

Gecode::Int::VariableEmptyDomain Class Reference
[Integer exceptions]

Exception: Variable created with empty domain More...

#include <exception.hpp>

List of all members.

Public Member Functions

 VariableEmptyDomain (const char *l)
 Initialize with location l.

Detailed Description

Exception: Variable created with empty domain

Definition at line 59 of file exception.hpp.


Constructor & Destructor Documentation

Gecode::Set::VariableEmptyDomain::VariableEmptyDomain ( const char *  l  ) 

Initialize with location l.

Definition at line 41 of file exception.cpp.


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