CBMC
|
Wrapper around a list of shared pointer to code_with_referencest objects, which provides a nicer interface. More...
#include <code_with_references.h>
Public Member Functions | |
void | add (code_without_referencest code) |
void | add (codet code) |
void | add (reference_allocationt ref) |
void | append (code_with_references_listt &&other) |
void | add_to_front (code_without_referencest code) |
Public Attributes | |
std::list< std::shared_ptr< code_with_referencest > > | list |
Wrapper around a list of shared pointer to code_with_referencest objects, which provides a nicer interface.
Definition at line 92 of file code_with_references.h.
void code_with_references_listt::add | ( | code_without_referencest | code | ) |
Definition at line 51 of file code_with_references.cpp.
void code_with_references_listt::add | ( | codet | code | ) |
Definition at line 57 of file code_with_references.cpp.
void code_with_references_listt::add | ( | reference_allocationt | ref | ) |
Definition at line 62 of file code_with_references.cpp.
void code_with_references_listt::add_to_front | ( | code_without_referencest | code | ) |
Definition at line 73 of file code_with_references.cpp.
void code_with_references_listt::append | ( | code_with_references_listt && | other | ) |
Definition at line 68 of file code_with_references.cpp.
std::list<std::shared_ptr<code_with_referencest> > code_with_references_listt::list |
Definition at line 95 of file code_with_references.h.