Generated on for Gecode by doxygen 1.17.0
Test Namespace Reference

General test support. More...

Namespaces

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  Set
 Testing finite sets.

Classes

class  ind
 Simple class for describing indentation. 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

int main (int argc, char *argv[])
 Main function.
std::ostream & operator<< (std::ostream &os, const Test::ind &i)
 Print indentation.

Variables

std::ostringstream olog
 Stream used for logging.
Options opt
 The options.

Detailed Description

General test support.

Enumeration Type Documentation

◆ MatchType

How to match.

Enumerator
MT_ANY 
MT_NOT 
MT_FIRST 

Definition at line 76 of file test.hh.

Variable Documentation

◆ olog

std::ostringstream Test::olog
extern

Stream used for logging.

The olog is buffered and printed only if an error has occurred.

◆ opt

Options Test::opt
extern

The options.