bool.cc File Reference

(Revision: 6320)

#include "test/assign.hh"

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::Assign
Classes
class	Test::Assign::Bool
	Test branching with distinct propagator. More...
Variables
Bool	Test::Assign::b_3 ("3", 3)
Bool	Test::Assign::b_5 ("5", 5)
Bool	Test::Assign::b_7 ("7", 7)