gen/arbitrary

Generating arbitrary values of a type. More...

Classes
struct	halcheck::gen::is_arbitrary< T >
	Determines if a type supports generating arbitrary values. More...

Functions
template<typename T >
T	halcheck::gen::arbitrary (lib::atom id)
	Generates an arbitrary value of a given type.

Detailed Description

Generating arbitrary values of a type.