_seq | UpdateSeq | [private] |
clear() | UpdateSeq | |
fresh() | UpdateSeq | [static] |
initial() | UpdateSeq | [static] |
is_fresh() const | UpdateSeq | |
is_initial() const | UpdateSeq | |
is_old() const | UpdateSeq | |
is_special() const | UpdateSeq | |
old() | UpdateSeq | [static] |
operator!=(const UpdateSeq &other) const | UpdateSeq | |
operator++() | UpdateSeq | |
operator++(int) | UpdateSeq | |
operator<(const UpdateSeq &other) const | UpdateSeq | |
operator<=(const UpdateSeq &other) const | UpdateSeq | |
operator=(const UpdateSeq ©) | UpdateSeq | |
operator==(const UpdateSeq &other) const | UpdateSeq | |
output(ostream &out) const | UpdateSeq | |
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 | |
UpdateSeq(const UpdateSeq ©) | UpdateSeq |