AggregateOf is a domain that combines multiple inner domains into a tuple or aggregate type. More...

Inheritance diagram for zeroerr::AggregateOf< T, Inner >:

Collaboration diagram for zeroerr::AggregateOf< T, Inner >:

Public Types
using	ValueType = T

using	CorpusType = std::tuple< typename Inner::CorpusType... >

Public Member Functions
	AggregateOf (Inner &&... inner)

CorpusType	GetRandomCorpus (Rng &rng) const override

ValueType	GetValue (const CorpusType &v) const override

CorpusType	FromValue (const ValueType &v) const override

void	Mutate (Rng &rng, CorpusType &v, bool only_shrink) const override

Public Member Functions inherited from zeroerr::Domain< T, std::tuple< Inner::CorpusType... > >
virtual	~Domain ()=default

virtual T	GetRandomValue (Rng &rng) const

virtual T	GetValue (const std::tuple< Inner::CorpusType... > &v) const=0

virtual std::tuple< Inner::CorpusType... >	ParseCorpus (IRObject v) const

virtual IRObject	SerializeCorpus (const std::tuple< Inner::CorpusType... > &v) const

virtual void	Mutate (Rng &rng, std::tuple< Inner::CorpusType... > &v, bool only_shrink=false) const=0

Detailed Description

template<typename T, typename... Inner>
class zeroerr::AggregateOf< T, Inner >

AggregateOf is a domain that combines multiple inner domains into a tuple or aggregate type.

Template Parameters

T	The aggregate type to generate (e.g. struct or tuple)
Inner	The inner domain types that will generate each field

This domain allows generating structured data by composing multiple inner domains. Each inner domain generates one field of the aggregate type.

Example:

struct Point {
  int x;
  int y; 
};
 
auto domain = AggregateOf<Point>(
  InRange(0, 100),  // Domain for x
  InRange(0, 100)   // Domain for y
);