![]() |
Home | Libraries | People | FAQ | More |
BinaryGenerator is a composite generator that has
a two subjects, left
and right. The BinaryGenerator
allows its subjects to be treated in the same way as a single instance
of a Generator following the Composite
Design Pattern.
Notation
gA BinaryGenerator.
GA BinaryGenerator type.
In addition to the requirements defined in Generator, for any BinaryGenerator
the following must be met:
|
Expression |
Semantics |
Return type |
|---|---|---|
|
|
Left generator. |
|
|
|
Right generator. |
|
Expression |
Description |
|---|---|
|
|
The left generator type. |
|
|
The right generator type. |
|
|
Metafunction that evaluates to |
For any BinaryGenerator, G,
the following invariants always hold:
traits::is_generator<G::left_type>::type evaluates to mpl::true_
traits::is_generator<G::right_type>::type evaluates to mpl::true_
The following generators conform to this model:
FIXME Add more links to models of BinaryGenerator concept