| 1 | <?xml version="1.0" encoding="utf-8" ?> |
|---|
| 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|---|
| 3 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
|---|
| 4 | <head> |
|---|
| 5 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> |
|---|
| 6 | <meta name="generator" content="Docutils 0.3.6: http://docutils.sourceforge.net/" /> |
|---|
| 7 | <title>The MPL Reference Manual: Terminology</title> |
|---|
| 8 | <link rel="stylesheet" href="../style.css" type="text/css" /> |
|---|
| 9 | </head> |
|---|
| 10 | <body class="docframe refmanual"> |
|---|
| 11 | <table class="header"><tr class="header"><td class="header-group navigation-bar"><span class="navigation-group"><a href="./aux-lambda-support.html" class="navigation-link">Prev</a> <a href="./categorized-index.html" class="navigation-link">Next</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="./macros.html" class="navigation-link">Back</a> <a href="./categorized-index.html" class="navigation-link">Along</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="../refmanual.html" class="navigation-link">Up</a> <a href="../refmanual.html" class="navigation-link">Home</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="./refmanual_toc.html" class="navigation-link">Full TOC</a></span></td> |
|---|
| 12 | <td class="header-group page-location"><a href="../refmanual.html" class="navigation-link">Front Page</a> / <a href="./terminology.html" class="navigation-link">Terminology</a></td> |
|---|
| 13 | </tr></table><div class="header-separator"></div> |
|---|
| 14 | <div class="section" id="terminology"> |
|---|
| 15 | <h1><a class="toc-backref" href="../refmanual.html#id529" name="terminology">Terminology</a></h1> |
|---|
| 16 | <a class="target" id="label-terminology" name="label-terminology"></a><a class="target" id="overloaded-name" name="overloaded-name"></a><dl> |
|---|
| 17 | <dt>Overloaded name</dt> |
|---|
| 18 | <dd>Overloaded name is a term used in this reference documentation to designate |
|---|
| 19 | a metafunction providing more than one public interface. In reality, |
|---|
| 20 | class template overloading is nonexistent and the referenced functionality |
|---|
| 21 | is implemented by other, unspecified, means.</dd> |
|---|
| 22 | </dl> |
|---|
| 23 | <a class="target" id="concept-identical" name="concept-identical"></a><dl> |
|---|
| 24 | <dt>Concept-identical </dt> |
|---|
| 25 | <dd>A sequence <tt class="literal"><span class="pre">s1</span></tt> is said to be concept-identical to a sequence <tt class="literal"><span class="pre">s2</span></tt> if |
|---|
| 26 | <tt class="literal"><span class="pre">s1</span></tt> and <tt class="literal"><span class="pre">s2</span></tt> model the exact same set of concepts.</dd> |
|---|
| 27 | </dl> |
|---|
| 28 | <a class="target" id="bind-expression" name="bind-expression"></a><dl> |
|---|
| 29 | <dt>Bind expression</dt> |
|---|
| 30 | <dd><p class="first">A bind expression is simply that — an instantiation of one of the <a class="refentry reference" href="./bind.html"><tt class="refentry literal"><span class="pre">bind</span></tt></a> |
|---|
| 31 | class templates. For instance, these are all bind expressions:</p> |
|---|
| 32 | <pre class="literal-block"> |
|---|
| 33 | <a href="./bind.html" class="identifier">bind</a>< quote3<<a href="./if.html" class="identifier">if_</a>>, _1,int,long > |
|---|
| 34 | <a href="./bind.html" class="identifier">bind</a>< _1, <a href="./bind.html" class="identifier">bind</a>< <a href="./plus.html" class="identifier">plus</a><>, <a href="./int.html" class="identifier">int_</a><5>, _2> > |
|---|
| 35 | <a href="./bind.html" class="identifier">bind</a>< <a href="./times.html" class="identifier">times</a><>, <a href="./int.html" class="identifier">int_</a><2>, <a href="./int.html" class="identifier">int_</a><2> > |
|---|
| 36 | </pre> |
|---|
| 37 | <p>and these are not:</p> |
|---|
| 38 | <pre class="last literal-block"> |
|---|
| 39 | <a href="./if.html" class="identifier">if_</a>< _1, <a href="./bind.html" class="identifier">bind</a>< <a href="./plus.html" class="identifier">plus</a><>, <a href="./int.html" class="identifier">int_</a><5>, _2>, _2 > |
|---|
| 40 | <a href="./protect.html" class="identifier">protect</a>< <a href="./bind.html" class="identifier">bind</a>< quote3<<a href="./if.html" class="identifier">if_</a>>, _1,int,long > > |
|---|
| 41 | _2 |
|---|
| 42 | </pre> |
|---|
| 43 | </dd> |
|---|
| 44 | </dl> |
|---|
| 45 | <!-- modtime: November 13, 2004 02:45:36 +0000 --> |
|---|
| 46 | </div> |
|---|
| 47 | |
|---|
| 48 | <div class="footer-separator"></div> |
|---|
| 49 | <table class="footer"><tr class="footer"><td class="header-group navigation-bar"><span class="navigation-group"><a href="./aux-lambda-support.html" class="navigation-link">Prev</a> <a href="./categorized-index.html" class="navigation-link">Next</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="./macros.html" class="navigation-link">Back</a> <a href="./categorized-index.html" class="navigation-link">Along</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="../refmanual.html" class="navigation-link">Up</a> <a href="../refmanual.html" class="navigation-link">Home</a></span><span class="navigation-group-separator"> | </span><span class="navigation-group"><a href="./refmanual_toc.html" class="navigation-link">Full TOC</a></span></td> |
|---|
| 50 | </tr></table></body> |
|---|
| 51 | </html> |
|---|
