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