Gecode::ViewVarImpTraits< Int::IntView > Class Template Reference
[Integer views]
Detailed Description
template<>
class Gecode::ViewVarImpTraits< Int::IntView >
Traits class for views and variable implementations.
This class specializes the ViewVarImpTraits for IntView
Definition at line 297 of file view.icc.
Public Types | |
typedef Int::IntVarImp | VarImp |
The variable type of an IntView. |
Member Typedef Documentation
typedef Int::IntVarImp Gecode::ViewVarImpTraits< Int::IntView >::VarImp |
The documentation for this class was generated from the following file:
- gecode/int/view.icc (Revision: 7297)