Property.hh File Reference

Contains classes to define properties about code. More...

#include <algorithm>
#include <iomanip>
#include <iostream>
#include <map>
#include <string>
#include <utility>
#include <vector>
#include "generate.hh"

Go to the source code of this file.

Classes
class	quickcheck::PropertyBase< A, B, C, D, E >
	Generic property. More...
struct	quickcheck::PropertyBase< A, B, C, D, E >::Input
	Input type. More...
class	quickcheck::Property< A, B, C, D, E >
	5-argument property. More...
class	quickcheck::Property< A, B, C, D >
	4-argument property. More...
class	quickcheck::Property< A, B, C >
	3-argument property. More...
class	quickcheck::Property< A, B >
	2-argument property. More...
class	quickcheck::Property< A >
	1-argument property. More...

Namespaces
namespace	quickcheck
	All classes, data generators and printers exported by QuickCheck++ are in the quickcheck namespace.

Enumerations
enum	quickcheck::Unit { quickcheck::UNIT }
	A dummy type to help simulating variadic templates. More...

Functions
template<class A >
void	quickcheck::printArgument (std::ostream &out, size_t n, const A &a)
	Prints an argument.
template<>
void	quickcheck::printArgument (std::ostream &, size_t, const Unit &)
	Specialisation of printArgument for Unit.

Detailed Description

Contains classes to define properties about code.