Concept concept
Description
Concept concepts
Refinement of
Associated types
Refinement list
X::refinement_of
X::refinement_of
Sequence of Concepts,
X
is a refinement of.
Type requirements
X::refinement_of
must be a
Boost::MPL::ForwardSequence
. The elements of the sequence must be models of Concept.
Notation
X
Type that is a model of Concept
Definitions
Valid expressions
Expression semantics
Complexity guarantees
Invariants
Models
Notes