circuit.cpp File Reference

(Revision: 8142)

#include "test/int.hh"

Go to the source code of this file.

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...
Namespaces
namespace	Test
	General test support.
namespace	Test::Int
	Testing finite domain integers.
namespace	Test::Int::Circuit
	Tests for circuit constraints.
Variables
Create	Test::Int::Circuit::c