Gecode::Set::VariableEmptyDomain Class Reference
Exception: Variable created with empty domain More...
Public Member Functions
|VariableEmptyDomain (const char *l)|
|Initialize with location l. |
Exception: Variable created with empty domain
Constructor & Destructor Documentation
|Gecode::Set::VariableEmptyDomain::VariableEmptyDomain||(||const char *||l||)|
Initialize with location l.
The documentation for this class was generated from the following file: