Generated on Sat Feb 7 2015 02:01:52 for Gecode by doxygen 1.8.9.1
Test Namespace Reference

General test support. More...

Namespaces

 Array
 Tests for arrays.
 
 Assign
 Tests for assignments.
 
 Branch
 Tests for branchings.
 
 FlatZinc
 Tests for FlatZinc.
 
 Float
 Testing domain floats.
 
 Int
 Testing finite domain integers.
 
 LDSB
 Testing for LDSB.
 
 NoGoods
 Tests for search using no-goods.
 
 Search
 Tests for search engines.
 
 Set
 Testing finite sets.
 

Classes

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

Functions

void report_error (std::string name)
 

Variables

AFC afc
 
BrancherHandle bh
 
std::ostringstream olog
 Stream used for logging. More...
 
Options opt
 The options. More...
 
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

AFC Test::afc

Definition at line 139 of file afc.cpp.

BrancherHandle Test::bh

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.