boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-20 15:01:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

Remove bogus file

Browse Source 
[SVN r35038]
This commit is contained in:
Dave Abrahams
2006-09-07 23:02:42 +00:00
parent 57fd7ea3a2
commit 0acccdb74d
1 changed files with 0 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

71
doc/src/refmanual/IntegralConstant.rst.~1.1.~
View File

@@ -1,71 +0,0 @@
.. Data Types/Concepts//Integral Constant
Integral Constant
=================
Description
-----------
An |Integral Constant| is a holder class for a compile-time value of an
integral type. Every |Integral Constant| is also a nullary |Metafunction|,
returning itself. An integral constant *object* is implicitly convertible to the
corresponding run-time value of the wrapped integral type.
Expression requirements
-----------------------
|In the following table...| ``n`` is a model of |Integral Constant|.
+-----------------------------------+---------------------------------------+---------------------------+
| Expression | Type | Complexity |
+===================================+=======================================+===========================+
| ``n::value_type`` | An integral type | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``n::value`` | An integral constant expression | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``n::type`` | |Integral Constant| | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``next<n>::type`` | |Integral Constant| | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``prior<n>::type`` | |Integral Constant| | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``n::value_type const c = n()`` | | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
Expression semantics
--------------------
+---------------------------------------+-----------------------------------------------------------+
| Expression | Semantics |
+=======================================+===========================================================+
| ``n::value_type`` | A cv-unqualified type of ``n::value``. |
+---------------------------------------+-----------------------------------------------------------+
| ``n::value`` | The value of the wrapped integral constant. |
+---------------------------------------+-----------------------------------------------------------+
| ``n::type`` | ``is_same<n::type,n>::value == true``. |
+---------------------------------------+-----------------------------------------------------------+
| ``next<n>::type`` | An |Integral Constant| ``c`` of type ``n::value_type`` |
| | such that ``c::value == n::value + 1``. |
+---------------------------------------+-----------------------------------------------------------+
| ``prior<n>::type`` | An |Integral Constant| ``c`` of type ``n::value_type`` |
| | such that ``c::value == n::value - 1``. |
+---------------------------------------+-----------------------------------------------------------+
| ``n::value_type const c = n()`` | ``c == n::value``. |
+---------------------------------------+-----------------------------------------------------------+
Models
------
* |bool_|
* |int_|
* |long_|
* |integral_c|
See also
--------
|Data Types|, |Integral Sequence Wrapper|, |integral_c|