Gecode::Int::LDSBUnbranchedVariable Class Reference
[Integer exceptions]
Exception: Variable in symmetry not branched on More...
#include <exception.hpp>
Public Member Functions | |
LDSBUnbranchedVariable (const char *l) | |
Initialize with location l. |
Detailed Description
Exception: Variable in symmetry not branched on
Definition at line 140 of file exception.hpp.
Constructor & Destructor Documentation
Gecode::Int::LDSBUnbranchedVariable::LDSBUnbranchedVariable | ( | const char * | l | ) |
Initialize with location l.
Definition at line 81 of file exception.cpp.
The documentation for this class was generated from the following files:
- gecode/int/exception.hpp (Revision: 14818)
- gecode/int/exception.cpp (Revision: 14818)