Concept
LessThanComparableConcept
A type that can be less-than compared.

LessThanComparableConcept

ComparableConcept | MutableRandomAccessIteratorConcept | RandomAccessIteratorConcept

IntegerConcept | OrderedAlphabetConcept

SignedIntegerConcept | UnsignedIntegerConcept

FiniteOrderedAlphabetConcept

RootedRandomAccessIteratorConcept

MutableRootedRandomAccessIteratorConcept

Concept Definition
Required Functions

operator< | C++ built-in less-than comparison operator.

Refinements

ComparableConcept | A type that can be compared.
MutableRandomAccessIteratorConcept | A RandomAccessIteratorConcept that allows assignable derefentiation.
RandomAccessIteratorConcept | An iterator allowing random access.

LessThanComparable<T>
Include Headers
seqan/basic.h
Remarks
Expects instances of type T to be comparable via operator<. Comparison operator must return a boolean convertible value. operator< must be a partial ordering.
Implemented by

ModifiedIterator | Allows to modify arbitrary iterators by specializing what differs from an origin. (RandomAccessIteratorConcept)
SimpleType | Implementation for "simple" types. (FiniteOrderedAlphabetConcept)

Examples
Valid expressions:
a < b;
Invariants:

\not a<a (irreflexivity)\nl a<b Þ \not b<a (antisymmetry)\nl a<b and b<c Þ a<c (transitivity)

See Also
ComparableConcept
SeqAn - Sequence Analysis Library - www.seqan.de

Page built @2014/10/13 16:12:57