Generated on Fri Mar 20 15:57:12 2015 for Gecode by doxygen 1.6.3

Test Namespace Reference

General test support. More...

Namespaces

namespace  Array
 

Tests for arrays.


namespace  Assign
 

Tests for assignments.


namespace  Branch
 

Tests for branchings.


namespace  FlatZinc
 

Tests for FlatZinc.


namespace  Float
 

Testing domain floats.


namespace  Int
 

Testing finite domain integers.


namespace  LDSB
 

Testing for LDSB.


namespace  NoGoods
 

Tests for search using no-goods.


namespace  Search
 

Tests for search engines.


namespace  Set
 

Testing finite sets.


Classes

class  AFC
 Test for AFC infrastructure More...
class  BrancherHandle
 Test for brancher handles More...
class  SortByName
 Sort tests by name. More...
class  ind
 Simple class for describing identation. More...
class  Options
 Commandline options. More...
class  Base
 Base class for all tests to be run More...

Functions

void report_error (std::string name)

Variables

AFC afc
BrancherHandle bh
std::ostringstream olog
 Stream used for logging.
Options opt
 The options.
std::vector< std::pair< bool,
const char * > > 
testpat
const char * startFrom = NULL
bool list = false

Detailed Description

General test support.


Function Documentation

void Test::report_error ( std::string  name  ) 

Definition at line 103 of file test.cpp.


Variable Documentation

Definition at line 138 of file afc.cpp.

Definition at line 145 of file brancher-handle.cpp.

std::vector<std::pair<bool, const char*> > Test::testpat

Definition at line 112 of file test.cpp.

const char* Test::startFrom = NULL

Definition at line 113 of file test.cpp.

bool Test::list = false

Definition at line 114 of file test.cpp.