Circuit constraints
[Testing finite domain integers]
Classes | |
| class | Test::Int::Circuit::Circuit |
| Simple test for circuit constraint. More... | |
| class | Test::Int::Circuit::Create |
| Help class to create and register tests. More... | |
Variables | |
| Create | Test::Int::Circuit::c |
Variable Documentation
| Create Test::Int::Circuit::c |
Definition at line 94 of file circuit.cpp.