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

Test::Search Namespace Reference


Detailed Description

Tests for search engines.


Classes

class  PosValuesDesc
 Branching description storing position and values More...
class  NaryBranching
 Class for nary branchings. More...
class  TestSpace
 Space with information. More...
class  FailImmediate
 Space that immediately fails. More...
class  HasSolutions
 Space that requires propagation and has solutions. More...
class  Test
 Base class for search tests. More...
class  DFS
 Test for depth-first search. More...
class  LDS
 Test for limited discrepancy search. More...
class  Best
 Test for best solution search. More...
class  BranchTypes
 Iterator for branching types. More...
class  ConstrainTypes
 Iterator for constrain types. More...
class  Create
 Help class to create and register tests. More...

Enumerations

enum  HowToBranch { HTB_NONE, HTB_UNARY, HTB_BINARY, HTB_NARY }
 Values for selecting branchings. More...
enum  HowToConstrain {
  HTC_NONE, HTC_LEX_LE, HTC_LEX_GR, HTC_BAL_LE,
  HTC_BAL_GR
}
 Values for selecting how to constrain. More...
enum  WhichModel { WM_FAIL_IMMEDIATE, WM_FAIL_SEARCH, WM_SOLUTIONS }
 Values for selecting models. More...

Variables

Create c


Enumeration Type Documentation

Values for selecting branchings.

Enumerator:
HTB_NONE  Do not branch.
HTB_UNARY  Branch with single alternative.
HTB_BINARY  Branch with two alternatives.
HTB_NARY  Branch with many alternatives.

Definition at line 53 of file search.cc.

Values for selecting how to constrain.

Enumerator:
HTC_NONE  Do not constrain.
HTC_LEX_LE  Constrain for lexically smallest.
HTC_LEX_GR  Constrain for lexically biggest.
HTC_BAL_LE  Constrain for smallest balance.
HTC_BAL_GR  Constrain for largest balance.

Definition at line 61 of file search.cc.

Values for selecting models.

Enumerator:
WM_FAIL_IMMEDIATE  Model that fails immediately.
WM_FAIL_SEARCH  Model without solutions.
WM_SOLUTIONS  Model with solutions.

Definition at line 70 of file search.cc.


Variable Documentation

Definition at line 613 of file search.cc.