Exception: Variable in symmetry not branched on More...
#include <exception.hpp>
Public Member Functions | |
LDSBUnbranchedVariable (const char *l) | |
Initialize with location l. |
Exception: Variable in symmetry not branched on
Definition at line 140 of file exception.hpp.
Gecode::Int::LDSBUnbranchedVariable::LDSBUnbranchedVariable | ( | const char * | l | ) | [inline] |
Initialize with location l.
Definition at line 219 of file exception.hpp.