Generated on Fri Mar 20 15:57:01 2015 for Gecode by doxygen 1.6.3

Gecode::Int::GCC::MaxInc< View > Class Template Reference
[Support for GCC bounds propagation]

Compares two indices i, j of two views $ x_i $ $ x_j$ according to the ascending order of the views upper bounds. More...

#include <bnd-sup.hpp>

List of all members.

Public Member Functions

 MaxInc (const ViewArray< View > &x0)
 Constructor.
bool operator() (const int i, const int j)
 Order.

Protected Attributes

ViewArray< View > x
 View array for comparison.

Detailed Description

template<class View>
class Gecode::Int::GCC::MaxInc< View >

Compares two indices i, j of two views $ x_i $ $ x_j$ according to the ascending order of the views upper bounds.

Definition at line 180 of file bnd-sup.hpp.


Constructor & Destructor Documentation

template<class View>
Gecode::Int::GCC::MaxInc< View >::MaxInc ( const ViewArray< View > &  x0  )  [inline]

Constructor.

Definition at line 186 of file bnd-sup.hpp.


Member Function Documentation

template<class View>
bool Gecode::Int::GCC::MaxInc< View >::operator() ( const int  i,
const int  j 
) [inline]

Order.

Definition at line 189 of file bnd-sup.hpp.


Member Data Documentation

template<class View>
ViewArray<View> Gecode::Int::GCC::MaxInc< View >::x [protected]

View array for comparison.

Definition at line 183 of file bnd-sup.hpp.


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