CBMC
abstract_objectt::combine_result Struct Reference

Clones the first parameter and merges it with the second. More...

#include <abstract_object.h>

Public Attributes

abstract_object_pointert object
 
bool modified
 

Detailed Description

Clones the first parameter and merges it with the second.

Parameters
op1the 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
op2the second abstract object to merge
out_modificationsreference to a flag indicating modification
Returns
A pair containing the merged abstract object with the same sensitivity as op1, and a modified flag which will be true if the merged abstract object is different from op1

Definition at line 246 of file abstract_object.h.

Member Data Documentation

◆ modified

bool abstract_objectt::combine_result::modified

Definition at line 249 of file abstract_object.h.

◆ object

abstract_object_pointert abstract_objectt::combine_result::object

Definition at line 248 of file abstract_object.h.


The documentation for this struct was generated from the following file: