   |
  |
 |
 |
|
|
|
|
| Alphabet type | X::Alphabet | the actual type of the letters on the transitions |
| iterator type | X::const_iterator | A forward read-only iterator on  |
| S | A type that is a model of Sigma | |
| s | an object of type S | |
| l | an object of type S::Alphabet |
| Name | Expression | Type requirements | Return type |
|---|---|---|---|
| Beginning of |
s.begin() | S::const_iterator | |
| End of |
s.end() | S::const_iterator | |
| Size | s.size() | unsigned long | |
| Mapping | s.map(l) | unsigned long | |
| Unmapping | s.unmap(n) | n must be compatible with unsigned long | S::Alphabet |
| Name | Expression | Precondition | Semantics | Postcondition |
|---|---|---|---|---|
| Beginning of |
s.begin() | Returns an iterator pointing to the first letter of |
s.begin() is either dereferenceable or past-the-end. It is past-the-end if and only if s.size() == 0. | |
| End of
| s.end() | Returns a past the end iterator on |
s.end() is past-the-end. | |
| Size | s.size() | Returns ||. |
s.size() >= 0 | |
| Mapping | s.map(l) | Maps to a range of contiguous integer values [0,||]. Needed by DFA_matrix and DFA_compact |
||
| Unmapping | s.unmap(n) | Reverse function of map |