Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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)