#include <bound_delta.h>
Inheritance diagram for bound_delta:
Public Methods | |
bound_delta (const std::vector< unsigned int > &__i, const std::vector< interval > &__b) | |
bound_delta (unsigned int __i, interval __b) | |
bound_delta (const bound_delta &__d) | |
bound_delta * | new_copy () const |
void | destroy_copy (bound_delta *__d) |
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 |
Public Attributes | |
std::vector< unsigned int > | indices |
std::vector< interval > | new_f_bounds |
Protected Attributes | |
std::string | _action |
|
Definition at line 79 of file bound_delta.h. |
|
Definition at line 84 of file bound_delta.h. |
|
Definition at line 88 of file bound_delta.h. |
|
Reimplemented from delta_base. Definition at line 29 of file bound_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 95 of file api_deltabase.h. |
|
Definition at line 97 of file bound_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 96 of file bound_delta.h. |
|
Definition at line 86 of file api_deltabase.h. |
|
Definition at line 75 of file bound_delta.h. |
|
Definition at line 77 of file bound_delta.h. |