Gecode::VarViewTraits< IntVar > Class Template Reference
Detailed Description
template<>
class Gecode::VarViewTraits< IntVar >
Traits class mapping variables to views.
This class specializes the VarViewTraits for integer variables.
Definition at line 309 of file view.icc.
Public Types | |
typedef Int::IntView | View |
The variable type of an IntView. |
Member Typedef Documentation
typedef Int::IntView Gecode::VarViewTraits< IntVar >::View |
The documentation for this class was generated from the following file:
- gecode/int/view.icc (Revision: 7297)