Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional::VarTraits< IntVar > Class Template Reference

Traits class for variables. More...

#include <layered-graph.hpp>

Public Types

typedef Int::IntView View
 The variable type of an IntView. More...
 

Detailed Description

template<>
class Gecode::Int::Extensional::VarTraits< IntVar >

Traits class for variables.

This class specializes the VarTraits for integer variables.

Definition at line 58 of file layered-graph.hpp.

Member Typedef Documentation

The variable type of an IntView.

Definition at line 61 of file layered-graph.hpp.


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