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