CBMC
reference_allocationt Member List

This is the complete list of members for reference_allocationt, including all inherited members.

locreference_allocationt
reference_allocationt(std::string reference_id, source_locationt loc)reference_allocationtinline
reference_idreference_allocationt
reference_substitutiont typedefcode_with_referencest
to_code(reference_substitutiont &references) const overridereference_allocationtvirtual
~code_with_referencest()=defaultcode_with_referencestvirtual