Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13
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  ind
 Simple class for describing identation. More...
 
class  Options
 Commandline options. More...
 
class  Region
 Test for Region memory area More...
 
class  SortByName
 Sort tests by name. More...
 

Enumerations

enum  MatchType { MT_ANY, MT_NOT, MT_FIRST }
 How to match. More...
 

Functions

void report_error (std::string name)
 

Variables

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

Detailed Description

General test support.

Enumeration Type Documentation

◆ MatchType

How to match.

Enumerator
MT_ANY 
MT_NOT 
MT_FIRST 

Definition at line 113 of file test.cpp.

Function Documentation

◆ report_error()

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

Definition at line 103 of file test.cpp.

Variable Documentation

◆ afc

AFC Test::afc

Definition at line 139 of file afc.cpp.

◆ r

Region Test::r

Definition at line 82 of file region.cpp.

◆ testpat

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

Definition at line 119 of file test.cpp.

◆ startFrom

const char* Test::startFrom = NULL

Definition at line 120 of file test.cpp.

◆ list

bool Test::list = false

Definition at line 121 of file test.cpp.