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