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