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

Exception: Not 0/1 integer More...

#include <exception.hpp>

List of all members.

Public Member Functions
	NotZeroOne (const char *l)
	Initialize with location l.

---

Detailed Description

Exception: Not 0/1 integer

Definition at line 55 of file exception.hpp.

---

Constructor & Destructor Documentation

Gecode::Int::NotZeroOne::NotZeroOne

(

const char *

l

)

Initialize with location l.

Definition at line 48 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)