cpp/named req/RandomNumberEngineAdaptor

A is a  that transforms the output of another, the latter of which is termed a base engine.

Requirements
Given
 * , a
 * , an object of type
 * , a, adapting as a base engine
 * , an object of type

Furthermore
 * The complexity of each function of does not exceed the complexity of the function of
 * The state of includes the state of
 * The size of 's state is no less than the size of
 * Copying 's state includes copying 's state
 * The textual representation of includes the textual representation of

Standard library
The following standard library facilities satisfy :