Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
branch.cpp File Reference

(Revision: 13939)

#include "test/branch.hh"
#include <algorithm>
#include <map>
#include <vector>
#include <iostream>
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/set.hh>
#include <gecode/float.hh>
#include <gecode/search.hh>

Go to the source code of this file.

Classes

class  Test::Branch::IntTestSpace
 Space for executing integer tests. More...
 
class  Test::Branch::BoolTestSpace
 Space for executing Boolean tests. More...
 
class  Test::Branch::SetTestSpace
 Space for executing Boolean tests. More...
 
class  Test::Branch::FloatTestSpace
 Space for executing Float tests. More...
 
class  Test::Branch::RunInfo
 Information about one test-run. More...
 

Namespaces

 Test
 General test support.
 
 Test::Branch
 Tests for branchings.
 

Functions

double Test::Branch::tbl (const Gecode::Space &, double w, double b)
 Test function for tie-break limit function. More...
 
std::ostream & operator<< (std::ostream &os, const Test::Branch::RunInfo &ri)
 
template<class TestSpace >
int Test::Branch::solutions (TestSpace *c, Gecode::Search::Options &o, int maxNbSol=-1)
 Find number of solutions. More...
 

Function Documentation

std::ostream& operator<< ( std::ostream &  os,
const Test::Branch::RunInfo ri 
)

Definition at line 369 of file branch.cpp.