Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
int.cpp File Reference

(Revision: 10684)

#include "test/assign.hh"

Go to the source code of this file.

Classes

class  Test::Assign::Int
 Test assignment with distinct propagator More...
 

Namespaces

 Test
 General test support.
 
 Test::Assign
 Tests for assignments.
 

Variables

Gecode::IntSet Test::Assign::d_dense (-2, 2)
 
const int Test::Assign::v_sparse [5] = {-100,-10,0,10,100}
 
Gecode::IntSet Test::Assign::d_sparse (v_sparse, 5)
 
Gecode::IntSet Test::Assign::d_large (-2, 10)
 
Int Test::Assign::d_3 ("Dense::3", d_dense, 3)
 
Int Test::Assign::d_5 ("Dense::5", d_dense, 5)
 
Int Test::Assign::s_3 ("Sparse::3", d_sparse, 3)
 
Int Test::Assign::s_5 ("Sparse::5", d_sparse, 5)
 
Int Test::Assign::l_2 ("Large::2", d_large, 2)
 
Int Test::Assign::l_3 ("Large::3", d_large, 3)