Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

int.cc File Reference

(Revision: 6197)

#include "test/branch.hh"

Go to the source code of this file.

Namespaces

namespace  Test
namespace  Test::Branch

Classes

class  Test::Branch::Int
 Test branching with distinct propagator. More...

Functions

Gecode::IntSet Test::Branch::d_dense (-2, 2)
Gecode::IntSet Test::Branch::d_sparse (v_sparse, 5)
Int Test::Branch::d_3 ("Dense::3", d_dense, 3)

Variables

Gecode::IntSet Test::Branch::d_large (-2, 10)
Int Test::Branch::d_5 ("Dense::5", d_dense, 5)
Int Test::Branch::s_3 ("Sparse::3", d_sparse, 3)
Int Test::Branch::s_5 ("Sparse::5", d_sparse, 5)
Int Test::Branch::l_2 ("Large::2", d_large, 2)
Int Test::Branch::l_3 ("Large::3", d_large, 3)