| _action | delta_base | [protected] |
| apply(work_node &_x, undelta_base *&_u) const | semantics_delta | [virtual] |
| apply3(work_node &_x, const work_node &_y, undelta_base *&_u) const | delta_base | [inline, virtual] |
| convert(work_node &_x, delta_base *&_d) | delta_base | [inline, virtual] |
| decode(uint32_t e, semantics &s) const | semantics_delta | [inline] |
| decode_activity(uint32_t e, activity_descr &a) const | semantics_delta | [inline] |
| decode_convex(uint32_t e, convex_e &c) const | semantics_delta | [inline] |
| decode_hard(uint32_t e, bool &b) const | semantics_delta | [inline] |
| decode_integer(uint32_t e, bool &b) const | semantics_delta | [inline] |
| decode_is_at_any_bound(uint32_t e, bool &b) const | semantics_delta | [inline] |
| decode_separable(uint32_t e, tristate &t) const | semantics_delta | [inline] |
| decode_type(uint32_t e, type_annotation &a) const | semantics_delta | [inline] |
| delta_base() | delta_base | [inline] |
| delta_base(const std::string &a) | delta_base | [inline] |
| delta_base(const char *a) | delta_base | [inline] |
| delta_base(const delta_base &__d) | delta_base | [inline] |
| destroy_copy(semantics_delta *__d) | semantics_delta | [inline] |
| delta_base::destroy_copy(delta_base *__d) | delta_base | [inline, virtual] |
| encode(const semantics &s) const | semantics_delta | [inline] |
| encode_activity(uint32_t e, const activity_descr &a) const | semantics_delta | [inline] |
| encode_convex(uint32_t e, const convex_e &c) const | semantics_delta | [inline] |
| encode_hard(uint32_t e, bool b) const | semantics_delta | [inline] |
| encode_integer(uint32_t e, bool b) const | semantics_delta | [inline] |
| encode_is_at_any_bound(uint32_t e, bool b) const | semantics_delta | [inline] |
| encode_separable(uint32_t e, const tristate &t) const | semantics_delta | [inline] |
| encode_type(uint32_t e, const type_annotation &a) const | semantics_delta | [inline] |
| get_action() const | delta_base | [inline] |
| make_delta(const std::string &a) | delta_base | [inline] |
| new_copy() const | semantics_delta | [inline, virtual] |
| semantics_delta(const std::vector< unsigned int > &__i, const std::vector< uint32_t > &__b) | semantics_delta | |
| semantics_delta(unsigned int __i, uint32_t __b) | semantics_delta | [inline] |
| semantics_delta() | semantics_delta | [inline] |
| semantics_delta(const semantics_delta &__d) | semantics_delta | [inline] |
| semantics_undelta class | semantics_delta | [friend] |
| set(const std::vector< unsigned int > &_i, const std::vector< semantics > &_s) | semantics_delta | |
| set(const std::vector< unsigned int > &_i, const std::vector< uint32_t > &_s) | semantics_delta | |
| set(unsigned int _i, const semantics &_s) | semantics_delta | |
| set_activity(const std::vector< unsigned int > &_i, const std::vector< activity_descr > &a) | semantics_delta | |
| set_activity(unsigned int _i, const activity_descr &a) | semantics_delta | |
| set_convex(const std::vector< unsigned int > &_i, const std::vector< convex_e > &c) | semantics_delta | |
| set_convex(unsigned int _i, const convex_e &c) | semantics_delta | |
| set_hard(const std::vector< unsigned int > &_i, const std::vector< bool > &b) | semantics_delta | |
| set_hard(unsigned int _i, bool b) | semantics_delta | |
| set_integer(const std::vector< unsigned int > &_i, const std::vector< bool > &b) | semantics_delta | |
| set_integer(unsigned int _i, bool b) | semantics_delta | |
| set_is_at_any_bound(const std::vector< unsigned int > &_i, const std::vector< bool > &b) | semantics_delta | |
| set_is_at_any_bound(unsigned int _i, bool b) | semantics_delta | |
| set_separable(const std::vector< unsigned int > &_i, const std::vector< tristate > &t) | semantics_delta | |
| set_separable(unsigned int _i, const tristate &t) | semantics_delta | |
| set_type(const std::vector< unsigned int > &_i, const std::vector< type_annotation > &a) | semantics_delta | |
| set_type(unsigned int _i, const type_annotation &a) | semantics_delta | |
| ~delta_base() | delta_base | [inline, virtual] |
