#include <semantics_delta.h>
Inheritance diagram for semantics_delta:
Public Methods | |
uint32_t | encode_convex (uint32_t e, const convex_e &c) const |
uint32_t | encode_activity (uint32_t e, const activity_descr &a) const |
uint32_t | encode_is_at_any_bound (uint32_t e, bool b) const |
uint32_t | encode_integer (uint32_t e, bool b) const |
uint32_t | encode_hard (uint32_t e, bool b) const |
uint32_t | encode_separable (uint32_t e, const tristate &t) const |
uint32_t | encode_type (uint32_t e, const type_annotation &a) const |
uint32_t | encode (const semantics &s) const |
void | decode_convex (uint32_t e, convex_e &c) const |
void | decode_activity (uint32_t e, activity_descr &a) const |
void | decode_is_at_any_bound (uint32_t e, bool &b) const |
void | decode_integer (uint32_t e, bool &b) const |
void | decode_hard (uint32_t e, bool &b) const |
void | decode_separable (uint32_t e, tristate &t) const |
void | decode_type (uint32_t e, type_annotation &a) const |
void | decode (uint32_t e, semantics &s) const |
semantics_delta (const std::vector< unsigned int > &__i, const std::vector< uint32_t > &__b) | |
semantics_delta (unsigned int __i, uint32_t __b) | |
semantics_delta () | |
semantics_delta (const semantics_delta &__d) | |
semantics_delta * | new_copy () const |
void | destroy_copy (semantics_delta *__d) |
void | set (const std::vector< unsigned int > &_i, const std::vector< semantics > &_s) |
void | set (const std::vector< unsigned int > &_i, const std::vector< uint32_t > &_s) |
void | set (unsigned int _i, const semantics &_s) |
void | set_convex (const std::vector< unsigned int > &_i, const std::vector< convex_e > &c) |
void | set_convex (unsigned int _i, const convex_e &c) |
void | set_activity (const std::vector< unsigned int > &_i, const std::vector< activity_descr > &a) |
void | set_activity (unsigned int _i, const activity_descr &a) |
void | set_separable (const std::vector< unsigned int > &_i, const std::vector< tristate > &t) |
void | set_separable (unsigned int _i, const tristate &t) |
void | set_is_at_any_bound (const std::vector< unsigned int > &_i, const std::vector< bool > &b) |
void | set_is_at_any_bound (unsigned int _i, bool b) |
void | set_integer (const std::vector< unsigned int > &_i, const std::vector< bool > &b) |
void | set_integer (unsigned int _i, bool b) |
void | set_hard (const std::vector< unsigned int > &_i, const std::vector< bool > &b) |
void | set_hard (unsigned int _i, bool b) |
void | set_type (const std::vector< unsigned int > &_i, const std::vector< type_annotation > &a) |
void | set_type (unsigned int _i, const type_annotation &a) |
bool | apply (work_node &_x, undelta_base *&_u) const |
virtual void | destroy_copy (delta_base *__d) |
delta | make_delta (const std::string &a) |
const std::string & | get_action () const |
virtual void | convert (work_node &_x, delta_base *&_d) |
virtual bool | apply3 (work_node &_x, const work_node &_y, undelta_base *&_u) const |
Protected Attributes | |
std::string | _action |
Friends | |
class | semantics_undelta |
|
Definition at line 30 of file semantics_delta.cc. |
|
Definition at line 192 of file semantics_delta.h. |
|
Definition at line 196 of file semantics_delta.h. |
|
Definition at line 197 of file semantics_delta.h. |
|
Reimplemented from delta_base. Definition at line 222 of file semantics_delta.cc. |
|
Definition at line 63 of file api_delta.h. |
|
Reimplemented in table_delta. Definition at line 107 of file api_deltabase.h. |
|
Definition at line 177 of file semantics_delta.h. |
|
Definition at line 165 of file semantics_delta.h. |
|
Definition at line 163 of file semantics_delta.h. |
|
Definition at line 171 of file semantics_delta.h. |
|
Definition at line 169 of file semantics_delta.h. |
|
Definition at line 167 of file semantics_delta.h. |
|
Definition at line 173 of file semantics_delta.h. |
|
Definition at line 175 of file semantics_delta.h. |
|
Definition at line 95 of file api_deltabase.h. |
|
Definition at line 207 of file semantics_delta.h. |
|
Definition at line 151 of file semantics_delta.h. |
|
Definition at line 139 of file semantics_delta.h. |
|
Definition at line 137 of file semantics_delta.h. |
|
Definition at line 145 of file semantics_delta.h. |
|
Definition at line 143 of file semantics_delta.h. |
|
Definition at line 141 of file semantics_delta.h. |
|
Definition at line 147 of file semantics_delta.h. |
|
Definition at line 149 of file semantics_delta.h. |
|
Definition at line 105 of file api_deltabase.h. |
|
Definition at line 99 of file api_deltabase.h. |
|
Reimplemented from delta_base. Definition at line 206 of file semantics_delta.h. |
|
Definition at line 124 of file semantics_delta.cc. |
|
Definition at line 53 of file semantics_delta.cc. |
|
Definition at line 43 of file semantics_delta.cc. |
|
Definition at line 150 of file semantics_delta.cc. |
|
Definition at line 72 of file semantics_delta.cc. |
|
Definition at line 136 of file semantics_delta.cc. |
|
Definition at line 62 of file semantics_delta.cc. |
|
Definition at line 193 of file semantics_delta.cc. |
|
Definition at line 104 of file semantics_delta.cc. |
|
Definition at line 179 of file semantics_delta.cc. |
|
Definition at line 93 of file semantics_delta.cc. |
|
|
|
|
|
Definition at line 164 of file semantics_delta.cc. |
|
Definition at line 82 of file semantics_delta.cc. |
|
Definition at line 207 of file semantics_delta.cc. |
|
Definition at line 114 of file semantics_delta.cc. |
|
Definition at line 238 of file semantics_delta.h. |
|
Definition at line 86 of file api_deltabase.h. |