forked from boostorg/concept_check
linked reference listing to sgi stl concept docs
[SVN r8438]
This commit is contained in:
Jeremy Siek
235
reference.htm
235
reference.htm
@@ -56,110 +56,209 @@
|
||||
<h3><a name="basic-concepts">Basic Concept Checking Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class T> struct Integer_concept; // Is T a built-in integer type?
|
||||
template <class T> struct SignedIntegerConcept; // Is T a built-in signed integer type?
|
||||
template <class X, class Y> struct ConvertibleConcept; // Is X convertible to Y?
|
||||
template <class T> struct <a
|
||||
href="../utility/Assignable.html">Assignable</a>Concept; // Standard ref 23.1
|
||||
template <class T> struct SGI<a href="http://www.sgi.com/Technology/STL/Assignable.html">Assignable</a>Concept;
|
||||
template <class T> struct <a href="http://www.sgi.com/Technology/STL/DefaultConstructible.html">DefaultConstructible</a>Concept;
|
||||
template <class T> struct <a
|
||||
href="../utility/CopyConstructible.html">CopyConstructible</a>Concept; // Standard ref 20.1.3
|
||||
template <class T> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/EqualityComparable.html">EqualityComparable</a>Concept; // Standard ref 20.1.1
|
||||
template <class T> struct <a
|
||||
href="../utility/LessThanComparable.html">LessThanComparable</a>Concept; // Standard ref 20.1.2
|
||||
template <class T> struct ComparableConcept; // The SGI STL <a href="http://www.sgi.com/Technology/STL/LessThanComparable.html">LessThanComparable</a> concept
|
||||
template <class T>
|
||||
struct Integer_concept; // Is T a built-in integer type?
|
||||
|
||||
template <class T>
|
||||
struct SignedIntegerConcept; // Is T a built-in signed integer type?
|
||||
|
||||
template <class X, class Y>
|
||||
struct ConvertibleConcept; // Is X convertible to Y?
|
||||
|
||||
template <class T>
|
||||
struct <a href="../utility/Assignable.html">Assignable</a>Concept; // Standard ref 23.1
|
||||
|
||||
template <class T>
|
||||
struct SGI<a href="http://www.sgi.com/Technology/STL/Assignable.html">Assignable</a>Concept;
|
||||
|
||||
template <class T>
|
||||
struct <a
|
||||
href="http://www.sgi.com/Technology/STL/DefaultConstructible.html">DefaultConstructible</a>Concept;
|
||||
|
||||
template <class T>
|
||||
struct <a href="../utility/CopyConstructible.html">CopyConstructible</a>Concept; // Standard ref 20.1.3
|
||||
|
||||
template <class T>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/EqualityComparable.html">EqualityComparable</a>Concept; // Standard ref 20.1.1
|
||||
|
||||
template <class T>
|
||||
struct <a href="../utility/LessThanComparable.html">LessThanComparable</a>Concept; // Standard ref 20.1.2
|
||||
|
||||
template <class T>
|
||||
struct ComparableConcept; // The SGI STL <a href="http://www.sgi.com/Technology/STL/LessThanComparable.html">LessThanComparable</a> concept
|
||||
</pre>
|
||||
|
||||
<h3><a name="iterator-concepts">Iterator Concept Checking Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class Iter> struct <a href="http://www.sgi.com/Technology/STL/trivial.html">TrivialIterator</a>Concept;
|
||||
template <class Iter> struct Mutable_TrivialIteratorConcept;
|
||||
template <class Iter> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/InputIterator.html">InputIterator</a>Concept; // Standard ref 24.1.1 Table 72
|
||||
template <class Iter, class T> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/OutputIterator.html">OutputIterator</a>Concept; // Standard ref 24.1.2 Table 73
|
||||
template <class Iter> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/ForwardIterator.html">ForwardIterator</a>Concept; // Standard ref 24.1.3 Table 74
|
||||
template <class Iter> struct Mutable_ForwardIteratorConcept;
|
||||
template <class Iter> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/BidirectionalIterator.html">BidirectionalIterator</a>Concept; // Standard ref 24.1.4 Table 75
|
||||
template <class Iter> struct Mutable_BidirectionalIteratorConcept;
|
||||
template <class Iter> struct <a
|
||||
href="http://www.sgi.com/Technology/STL/RandomAccessIterator.html">RandomAccessIterator</a>Concept; // Standard ref 24.1.5 Table 76
|
||||
template <class Iter> struct Mutable_RandomAccessIteratorConcept;
|
||||
template <class Iter>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/trivial.html">TrivialIterator</a>Concept;
|
||||
|
||||
template <class Iter>
|
||||
struct Mutable_TrivialIteratorConcept;
|
||||
|
||||
template <class Iter>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/InputIterator.html">InputIterator</a>Concept; // Standard ref 24.1.1 Table 72
|
||||
|
||||
template <class Iter, class T>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/OutputIterator.html">OutputIterator</a>Concept; // Standard ref 24.1.2 Table 73
|
||||
|
||||
template <class Iter>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/ForwardIterator.html">ForwardIterator</a>Concept; // Standard ref 24.1.3 Table 74
|
||||
|
||||
template <class Iter>
|
||||
struct Mutable_ForwardIteratorConcept;
|
||||
|
||||
template <class Iter>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/BidirectionalIterator.html">BidirectionalIterator</a>Concept; // Standard ref 24.1.4 Table 75
|
||||
|
||||
template <class Iter>
|
||||
struct Mutable_BidirectionalIteratorConcept;
|
||||
|
||||
template <class Iter>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/RandomAccessIterator.html">RandomAccessIterator</a>Concept; // Standard ref 24.1.5 Table 76
|
||||
|
||||
template <class Iter>
|
||||
struct Mutable_RandomAccessIteratorConcept;
|
||||
</pre>
|
||||
|
||||
<h3><a name="function-object-concepts">Function Object Concept Checking Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class Func, class Return> struct GeneratorConcept;
|
||||
template <class Func, class Return, class Arg> struct UnaryFunctionConcept;
|
||||
template <class Func, class Return, class First, class Second> struct BinaryFunctionConcept;
|
||||
template <class Func, class Arg> struct UnaryPredicateConcept;
|
||||
template <class Func, class First, class Second> struct BinaryPredicateConcept;
|
||||
template <class Func, class First, class Second> struct Const_BinaryPredicateConcept {;
|
||||
template <class Func, class Return>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/Generator.html">Generator</a>Concept;
|
||||
|
||||
template <class Func, class Return, class Arg>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/UnaryFunction.html">UnaryFunction</a>Concept;
|
||||
|
||||
template <class Func, class Return, class First, class Second>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/BinaryFunction.html">BinaryFunction</a>Concept;
|
||||
|
||||
template <class Func, class Arg>
|
||||
struct Unary<a href="http://www.sgi.com/Technology/STL/Predicate.html">Predicate</a>Concept;
|
||||
|
||||
template <class Func, class First, class Second>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/BinaryPredicate.html">BinaryPredicate</a>Concept;
|
||||
|
||||
template <class Func, class First, class Second>
|
||||
struct Const_BinaryPredicateConcept;
|
||||
</pre>
|
||||
|
||||
<h3><a name="container-concepts">Container Concept Checking Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class C> struct ContainerConcept; // Standard ref 23.1 Table 65
|
||||
template <class C> struct Mutable_ContainerConcept;
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/Container.html">Container</a>Concept; // Standard ref 23.1 Table 65
|
||||
|
||||
template <class C> struct ForwardContainerConcept;
|
||||
template <class C> struct Mutable_ForwardContainerConcept;
|
||||
template <class C>
|
||||
struct Mutable_ContainerConcept;
|
||||
|
||||
template <class C> struct ReversibleContainerConcept; // Standard ref 23.1 Table 66
|
||||
template <class C> struct Mutable_ReversibleContainerConcept;
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/ForwardContainer.html">ForwardContainer</a>Concept;
|
||||
|
||||
template <class C> struct RandomAccessContainerConcept;
|
||||
template <class C> struct Mutable_RandomAccessContainerConcept;
|
||||
template <class C>
|
||||
struct Mutable_ForwardContainerConcept;
|
||||
|
||||
template <class C> struct SequenceConcept; // Standard ref 23.1.1
|
||||
template <class C> struct FrontInsertionSequenceConcept;
|
||||
template <class C> struct BackInsertionSequenceConcept;
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/ReversibleContainer.html">ReversibleContainer</a>Concept; // Standard ref 23.1 Table 66
|
||||
|
||||
template <class C> struct AssociativeContainerConcept; // Standard ref 23.1.2 Table 69
|
||||
template <class C> struct UniqueAssociativeContainerConcept;
|
||||
template <class C> struct MultipleAssociativeContainerConcept;
|
||||
template <class C> struct SimpleAssociativeContainerConcept;
|
||||
template <class C> struct PairAssociativeContainerConcept;
|
||||
template <class C> struct SortedAssociativeContainerConcept;
|
||||
template <class C>
|
||||
struct Mutable_ReversibleContainerConcept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/RandomAccessContainer.html">RandomAccessContainer</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct Mutable_RandomAccessContainerConcept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/SequenceContainer.html">Sequence</a>Concept; // Standard ref 23.1.1
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/FrontInsertionSequence.html">FrontInsertionSequence</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/BackInsertionSequence.html">BackInsertionSequence</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/Associative.html">AssociativeContainer</a>Concept; // Standard ref 23.1.2 Table 69
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/UniqueAssociativeContainer.html">UniqueAssociativeContainer</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/MultipleAssociativeContainer.html">MultipleAssociativeContainer</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/SimpleAssociativeContainer.html">SimpleAssociativeContainer</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/PairAssociativeContainer.html">PairAssociativeContainer</a>Concept;
|
||||
|
||||
template <class C>
|
||||
struct <a href="http://www.sgi.com/Technology/STL/SortedAssociativeContainer.html">SortedAssociativeContainer</a>Concept;
|
||||
</pre>
|
||||
|
||||
|
||||
<h3><a name="basic-archetype">Basic Archetype Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class T = int> class null_archetype; // A type that models no concepts.
|
||||
template <class Base = null_archetype> class default_constructible_archetype;
|
||||
template <class Base = null_archetype> class assignable_archetype;
|
||||
template <class Base = null_archetype> class copy_constructible_archetype;
|
||||
template <class Base = null_archetype> class equality_comparable_archetype;
|
||||
template <class T, class Base = null_archetype> class convertible_to_archetype;
|
||||
template <class T = int>
|
||||
class null_archetype; // A type that models no concepts.
|
||||
|
||||
template <class Base = null_archetype>
|
||||
class default_constructible_archetype;
|
||||
|
||||
template <class Base = null_archetype>
|
||||
class assignable_archetype;
|
||||
|
||||
template <class Base = null_archetype>
|
||||
class copy_constructible_archetype;
|
||||
|
||||
template <class Base = null_archetype>
|
||||
class equality_comparable_archetype;
|
||||
|
||||
template <class T, class Base = null_archetype>
|
||||
class convertible_to_archetype;
|
||||
</pre>
|
||||
|
||||
<h3><a name="iterator-archetype">Iterator Archetype Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class ValueType> class trivial_iterator_archetype;
|
||||
template <class ValueType> class mutable_trivial_iterator_archetype;
|
||||
template <class ValueType> class input_iterator_archetype;
|
||||
template <class ValueType> class forward_iterator_archetype;
|
||||
template <class ValueType> class bidirectional_iterator_archetype;
|
||||
template <class ValueType> class random_access_iterator_archetype;
|
||||
template <class ValueType>
|
||||
class trivial_iterator_archetype;
|
||||
|
||||
template <class ValueType>
|
||||
class mutable_trivial_iterator_archetype;
|
||||
|
||||
template <class ValueType>
|
||||
class input_iterator_archetype;
|
||||
|
||||
template <class ValueType>
|
||||
class forward_iterator_archetype;
|
||||
|
||||
template <class ValueType>
|
||||
class bidirectional_iterator_archetype;
|
||||
|
||||
template <class ValueType>
|
||||
class random_access_iterator_archetype;
|
||||
|
||||
</pre>
|
||||
|
||||
<h3><a name="function-object-archetype">Function Object Archetype Classes</a></h3>
|
||||
|
||||
<pre>
|
||||
template <class Arg, class Return> class unary_function_archetype;
|
||||
template <class Arg1, class Arg2, class Return> class binary_function_archetype;
|
||||
template <class Arg> class predicate_archetype;
|
||||
template <class Arg1, class Arg2> class binary_predicate_archetype;
|
||||
template <class Arg, class Return>
|
||||
class unary_function_archetype;
|
||||
|
||||
template <class Arg1, class Arg2, class Return>
|
||||
class binary_function_archetype;
|
||||
|
||||
template <class Arg>
|
||||
class predicate_archetype;
|
||||
|
||||
template <class Arg1, class Arg2>
|
||||
class binary_predicate_archetype;
|
||||
</pre>
|
||||
|
||||
<h3><a name="container-archetype">Container Archetype Classes</a></h3>
|
||||
|
||||
Reference in New Issue
Block a user