boost/more
1
0
Fork 0
mirror of https://github.com/boostorg/more.git synced 2024-12-27 23:40:13 +08:00
Code Issues Packages Projects Releases Wiki Activity

added name tags for valid expressions and associated types

Browse Source 
[SVN r9189]
This commit is contained in:
Jeremy Siek 2001-02-13 17:36:10 +00:00
parent f6a4cdf0a7
commit e65e8b658d
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
generic_programming.html
View File

@ -145,16 +145,18 @@ int main()
called <b><i>refinement</i></b>.
<ul>
<li><b>Valid Expressions</b> are C++ expressions which must compile
successfully for the objects involved in the expression to be
considered <i>models</i> of the concept.
<li><a name="valid_expression"><b>Valid Expressions</b></a> are
C++ expressions which must compile successfully for the
objects involved in the expression to be considered
<i>models</i> of the concept.
<li><b>Associated Types</b> are types that are related to the
modeling type in that they participate in one or more of the
valid expressions. Typically associated types can be accessed
either through typedefs nested within a class definition for
the modeling type, or they are accessed through a <a
href="#traits">traits class</a>.
<li><a name="associated_type"><b>Associated Types</b></a> are
types that are related to the modeling type in that they
participate in one or more of the valid expressions. Typically
associated types can be accessed either through typedefs
nested within a class definition for the modeling type, or
they are accessed through a <a href="#traits">traits
class</a>.
<li><b>Invariants</b> are run-time characteristics of the
objects that must always be true, that is, the functions involving