Tests for search using no-goods. More...
Classes | |
class | Create |
Help class to create and register tests. More... | |
class | Hamming |
Example for testing set no-goods. More... | |
class | NoGoods |
Base class for no-good tests More... | |
class | Queens |
Example for testing integer no-goods. More... |
Functions | |
void | dummy (Space &) |
A dummy function for branching. |
Variables | |
Create | c |
Tests for search using no-goods.
void Test::NoGoods::dummy | ( | Space & | ) |
A dummy function for branching.
Definition at line 51 of file nogoods.cpp.
Create Test::NoGoods::c |
Definition at line 297 of file nogoods.cpp.