Test::Assign Namespace Reference

Tests for assignments. More...

## Classes

class | IntTestSpace
| Space for executing integer tests. More...
class | BoolTestSpace
| Space for executing Boolean tests. More...
class | SetTestSpace
| Space for executing Boolean tests. More...
class | FloatTestSpace
| Space for executing Boolean tests. More...
class | IntTest
| Base class for tests for assigning integer variables More...
class | BoolTest
| Base class for tests for branching on Boolean variables More...
class | SetTest
| Base class for tests for branching on set variables More...
class | FloatTest
| Base class for tests for branching on float variables More...
class | Bool
| Test branching with distinct propagator More...
class | Float
| Test assignment with distinct propagator More...
class | Int
| Test assignment with distinct propagator More...
class | Set
| Test assignment with disjoint union propagator More...

## Variables

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

## Collection of possible arguments for integer assignments

int | int_val (const Gecode::Space &, Gecode::IntVar x, int)
| Test function for branch value function.

## Collection of possible arguments for Boolean assignments

int | bool_val (const Gecode::Space &, Gecode::BoolVar x, int)
| Test function for branch value function.

## Collection of possible arguments for set assignments

int | set_val (const Gecode::Space &, Gecode::SetVar x, int)
| Test function for branch value function.

## Collection of possible arguments for float assignments

Gecode::FloatNumBranch | float_val (const Gecode::Space &, Gecode::FloatVar x, int)
| Test function for branch value function.

## Detailed Description

Tests for assignments.

## Variable Documentation

## b_3

Bool Test::Assign::b_3("3", 3) | ( | "3" | ,
|  | 3 | )

## b_5

Bool Test::Assign::b_5("5", 5) | ( | "5" | ,
|  | 5 | )

## b_7

Bool Test::Assign::b_7("7", 7) | ( | "7" | ,
|  | 7 | )

## d_dense

Gecode::IntSet Test::Assign::d_dense(-2, 2) | ( | - | 2,
|  | 2 | )

## v_sparse

const int Test::Assign::v_sparse[5] = {-100,-10,0,10,100}

Definition at line 51 of file int.cpp.

## d_sparse

Gecode::IntSet Test::Assign::d_sparse(v_sparse, 5) | ( | v_sparse | ,
|  | 5 | )

## d_large

Gecode::IntSet Test::Assign::d_large(-2, 10) | ( | - | 2,
|  | 10 | )

## d_3

Int Test::Assign::d_3("Dense::3", d_dense, 3) | ( | "Dense::3" | ,
|  | d_dense | ,
|  | 3 | )

## d_5

Int Test::Assign::d_5("Dense::5", d_dense, 5) | ( | "Dense::5" | ,
|  | d_dense | ,
|  | 5 | )

## s_3

Int Test::Assign::s_3("Sparse::3", d_sparse, 3) | ( | "Sparse::3" | ,
|  | d_sparse | ,
|  | 3 | )

## s_5

Int Test::Assign::s_5("Sparse::5", d_sparse, 5) | ( | "Sparse::5" | ,
|  | d_sparse | ,
|  | 5 | )

## l_2

Int Test::Assign::l_2("Large::2", d_large, 2) | ( | "Large::2" | ,
|  | d_large | ,
|  | 2 | )

## l_3

Int Test::Assign::l_3("Large::3", d_large, 3) | ( | "Large::3" | ,
|  | d_large | ,
|  | 3 | )