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