| apply(work_node &_x, const delta_id &_d) const | delta | [inline] |
| apply3(work_node &_x, const work_node &_y, const delta_id &_d) const | delta | [inline] |
| convert(work_node &_x) | delta | [inline] |
| delta() | delta | [inline] |
| delta(const delta_base &__d) | delta | [inline] |
| delta(const delta &__d) | delta | [inline] |
| delta_base class | delta | [friend] |
| get_action() const | delta | [inline] |
| get_base() const | delta | [inline] |
| ie_return_type class | delta | [friend] |
| operator<<(std::ostream &o, const delta &t) | delta | [friend] |
| operator=(const delta &_d) | delta | [inline] |
| store(work_node &_x) | delta | [inline] |
| ~delta() | delta | [inline] |
1.2.18