#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) |