CBMC
|
Clones the first parameter and merges it with the second. More...
#include <abstract_object.h>
Public Attributes | |
abstract_object_pointert | object |
bool | modified |
Clones the first parameter and merges it with the second.
op1 | the first abstract object to merge, this object determines the sensitivity of the output and is the object compared against to choose whether this merge changed anything |
op2 | the second abstract object to merge |
out_modifications | reference to a flag indicating modification |
Definition at line 246 of file abstract_object.h.
bool abstract_objectt::combine_result::modified |
Definition at line 249 of file abstract_object.h.
abstract_object_pointert abstract_objectt::combine_result::object |
Definition at line 248 of file abstract_object.h.