_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] |