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