Generated on Fri Jul 21 2023 00:00:00 for Gecode by doxygen 1.9.6
bool.cpp File Reference
#include "test/branch.hh"

Go to the source code of this file.

Classes

class  Test::Branch::Bool
 Test brancher with distinct propagator More...
 

Namespaces

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

Variables

Bool Test::Branch::b_3 ("3", 3)
 
Bool Test::Branch::b_5 ("5", 5)
 
Bool Test::Branch::b_7 ("7", 7)