int.cpp File Reference
#include "test/assign.hh"
Go to the source code of this file.
Classes | |
class | Test::Assign::Int |
Test assignment with distinct propagator More... | |
Namespaces | |
namespace | Test |
General test support. | |
namespace | 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) |