Traits class for variables. More...
#include <layered-graph.hpp>
Public Types | |
typedef Int::IntView | View |
The variable type of an IntView. |
Traits class for variables.
This class specializes the VarTraits for integer variables.
Definition at line 54 of file layered-graph.hpp.
typedef Int::IntView Gecode::Int::Extensional::VarTraits< IntVar >::View |
The variable type of an IntView.
Definition at line 57 of file layered-graph.hpp.