Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Test::Branch Namespace Reference

Tests for branchings. More...

Classes

class  Bool
 Test brancher with distinct propagator More...
class  BoolTest
 Base class for tests for branching on Boolean variables More...
class  BoolTestSpace
 Space for executing Boolean tests. More...
class  Float
 Test brancher with distinct propagator More...
class  FloatTest
 Base class for tests for branching on float variables More...
class  FloatTestSpace
 Space for executing Float tests. More...
class  Int
 Test brancher with distinct propagator More...
class  IntTest
 Base class for tests for branching on integer variables More...
class  IntTestSpace
 Space for executing integer tests. More...
class  RunInfo
 Information about one test-run. More...
class  Set
 Test brancher More...
class  SetTest
 Base class for tests for branching on set variables More...
class  SetTestSpace
 Space for executing Set tests. More...

Functions

double tbl (const Gecode::Space &, double w, double b)
 Test function for tie-break limit function.
template<class TestSpace>
int solutions (TestSpace *c, Gecode::Search::Options &o, int maxNbSol=-1)
 Find number of solutions.

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 branchers

BoolTestSpace

double int_merit (const Gecode::Space &, Gecode::IntVar x, int)
 Test function for branch merit function.
double bool_merit (const Gecode::Space &, Gecode::BoolVar x, int)
 Test function for branch merit function.
int int_val (const Gecode::Space &, Gecode::IntVar x, int)
 Test function for branch value function.
int bool_val (const Gecode::Space &, Gecode::BoolVar x, int)
 Test function for branch value function.

Collection of possible arguments for set branchers

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

Collection of possible arguments for float branchers

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

Detailed Description

Tests for branchings.

Function Documentation

◆ tbl()

double Test::Branch::tbl ( const Gecode::Space & ,
double w,
double b )

Test function for tie-break limit function.

Definition at line 61 of file branch.cpp.

◆ solutions()

template<class TestSpace>
int Test::Branch::solutions ( TestSpace * c,
Gecode::Search::Options & o,
int maxNbSol = -1 )

Find number of solutions.

Definition at line 412 of file branch.cpp.

Variable Documentation

◆ b_3

Bool Test::Branch::b_3("3", 3) ( "3" ,
3  )

◆ b_5

Bool Test::Branch::b_5("5", 5) ( "5" ,
5  )

◆ b_7

Bool Test::Branch::b_7("7", 7) ( "7" ,
7  )

◆ d_dense

Gecode::IntSet Test::Branch::d_dense(-2, 2) ( - 2,
2  )

◆ v_sparse

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

Definition at line 51 of file int.cpp.

◆ d_sparse

Gecode::IntSet Test::Branch::d_sparse(v_sparse, 5) ( v_sparse ,
5  )

◆ d_large

Gecode::IntSet Test::Branch::d_large(-2, 10) ( - 2,
10  )

◆ d_3

Int Test::Branch::d_3("Dense::3", d_dense, 3) ( "Dense::3" ,
d_dense ,
3  )

◆ d_5

Int Test::Branch::d_5("Dense::5", d_dense, 5) ( "Dense::5" ,
d_dense ,
5  )

◆ s_3

Int Test::Branch::s_3("Sparse::3", d_sparse, 3) ( "Sparse::3" ,
d_sparse ,
3  )

◆ s_5

Int Test::Branch::s_5("Sparse::5", d_sparse, 5) ( "Sparse::5" ,
d_sparse ,
5  )

◆ l_2

Int Test::Branch::l_2("Large::2", d_large, 2) ( "Large::2" ,
d_large ,
2  )

◆ l_3

Int Test::Branch::l_3("Large::3", d_large, 3) ( "Large::3" ,
d_large ,
3  )