Generated on Mon May 5 05:54:11 2008 for Gecode by doxygen 1.5.5

Gecode::Gecode::VarViewTraits< IntVar > Class Template Reference

List of all members.


Detailed Description

template<>
class Gecode::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::Gecode::VarViewTraits< IntVar >::View

The variable type of an IntView.

Definition at line 312 of file view.icc.


The documentation for this class was generated from the following file: