diff options
author | Jeremy Siek <jeremy.siek@gmail.com> | 2001-02-13 17:36:10 +0000 |
---|---|---|
committer | Jeremy Siek <jeremy.siek@gmail.com> | 2001-02-13 17:36:10 +0000 |
commit | 79be1be4ec11d0f0c7532c8928d09342ee62582f (patch) | |
tree | 73068dc944aaa22519ad0899779f258193f33199 /more/generic_programming.html | |
parent | 3343c646c6bcf1c45033595dfd6dc3ff1aa2c47f (diff) | |
download | boost-79be1be4ec11d0f0c7532c8928d09342ee62582f.tar.gz |
added name tags for valid expressions and associated types
[SVN r9189]
Diffstat (limited to 'more/generic_programming.html')
-rw-r--r-- | more/generic_programming.html | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/more/generic_programming.html b/more/generic_programming.html index 5aa764c3cc..5cf59f6398 100644 --- a/more/generic_programming.html +++ b/more/generic_programming.html @@ -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><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="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><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 |