| _seq | UpdateSeq | [private] |
| clear() | UpdateSeq | [inline] |
| fresh() | UpdateSeq | [inline, static] |
| initial() | UpdateSeq | [inline, static] |
| is_fresh() const | UpdateSeq | [inline] |
| is_initial() const | UpdateSeq | [inline] |
| is_old() const | UpdateSeq | [inline] |
| is_special() const | UpdateSeq | [inline] |
| old() | UpdateSeq | [inline, static] |
| operator!=(const UpdateSeq &other) const | UpdateSeq | [inline] |
| operator++() | UpdateSeq | [inline] |
| operator++(int) | UpdateSeq | [inline] |
| operator<(const UpdateSeq &other) const | UpdateSeq | [inline] |
| operator<=(const UpdateSeq &other) const | UpdateSeq | [inline] |
| operator=(const UpdateSeq ©) | UpdateSeq | [inline] |
| operator==(const UpdateSeq &other) const | UpdateSeq | [inline] |
| output(ostream &out) const | UpdateSeq | [inline] |
| SC_fresh enum value | UpdateSeq | [private] |
| SC_initial enum value | UpdateSeq | [private] |
| SC_old enum value | UpdateSeq | [private] |
| SpecialCases enum name | UpdateSeq | [private] |
| UpdateSeq() | UpdateSeq | [inline] |
| UpdateSeq(const UpdateSeq ©) | UpdateSeq | [inline] |
1.3