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 |