Generated on Thu Apr 11 14:00:12 2019 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  Region
 Test for Region memory area 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...

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.
Options opt
 The options.
std::vector< std::pair
< MatchType, const char * > > 
testpat
const char * startFrom = NULL
bool list = false

Detailed Description

General test support.


Enumeration Type Documentation

How to match.

Enumerator:
MT_ANY 
MT_NOT 
MT_FIRST 

Definition at line 109 of file test.cpp.


Function Documentation

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

Definition at line 99 of file test.cpp.


Variable Documentation

Definition at line 134 of file afc.cpp.

Definition at line 65 of file region.cpp.

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

Definition at line 115 of file test.cpp.

const char* Test::startFrom = NULL

Definition at line 116 of file test.cpp.

bool Test::list = false

Definition at line 117 of file test.cpp.