This namespace provides specification of the Concept Point. More...
|Interface for the Concept Point. More...|
|Check point concept requirements. More...|
This namespace provides specification of the Concept Point.
Concepts in Instigate Generic Programming methodology are defined via Concept Interface and Concept Requirements.
The Interface provides associated types and operations as required by the specification of the concept.
The Requirements are used via CHECK macros by generic algorithms to verify that the argument types passed to them are models of the required concept, i.e. are matching the concept specification.