@NonNullByDefault

Package com.io7m.jregions.generators

Quickcheck generators.

See: Description

Class Summary

Class	Description
AreaBDGenerator	A generator for areas.
AreaBIGenerator	A generator for areas.
AreaDGenerator	A generator for areas.
AreaFGenerator	A generator for areas.
AreaIGenerator	A generator for areas.
AreaLGenerator	A generator for areas.
AreaSizeBDGenerator	A generator for area sizes.
AreaSizeBIGenerator	A generator for area sizes.
AreaSizeDGenerator	A generator for area sizes.
AreaSizeFGenerator	A generator for area sizes.
AreaSizeIGenerator	A generator for area sizes.
AreaSizeLGenerator	A generator for area sizes.
PAreaBDGenerator<S>	A generator for areas.
PAreaBIGenerator<S>	A generator for areas.
PAreaDGenerator<S>	A generator for areas.
PAreaFGenerator<S>	A generator for areas.
PAreaIGenerator<S>	A generator for areas.
PAreaLGenerator<S>	A generator for areas.
PAreaSizeBDGenerator<S>	A generator for area sizes.
PAreaSizeBIGenerator<S>	A generator for area sizes.
PAreaSizeDGenerator<S>	A generator for area sizes.
PAreaSizeFGenerator<S>	A generator for area sizes.
PAreaSizeIGenerator<S>	A generator for area sizes.
PAreaSizeLGenerator<S>	A generator for area sizes.

Package com.io7m.jregions.generators Description

Quickcheck generators.