brancher-handle.cpp File Reference
(Revision: 13406)
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include "test/test.hh"
Go to the source code of this file.
Classes | |
class | Test::BrancherHandle |
Test for brancher handles More... | |
class | Test::BrancherHandle::TestSpace |
Test space. More... | |
Namespaces | |
namespace | Test |
General test support. | |
Variables | |
BrancherHandle | Test::bh |