Gecode::DomainSize< Int::BoolView > Class Template Reference
Detailed Description
template<>
class Gecode::DomainSize< Int::BoolView >
Class providing domain size info.
This class specializes the DomainSize class for Boolean views.
Definition at line 1583 of file view.icc.
Static Public Member Functions | |
static int | size (const Int::BoolView &iv) |
The size of an integer domain. |
Member Function Documentation
static int Gecode::DomainSize< Int::BoolView >::size | ( | const Int::BoolView & | iv | ) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/int/view.icc (Revision: 7297)