|
CBMC
|
Include dependency graph for c_qualifiers.cpp:Go to the source code of this file.
Functions | |
| std::ostream & | operator<< (std::ostream &out, const qualifierst &qualifiers) |
| pretty-print the qualifiers More... | |
| std::ostream& operator<< | ( | std::ostream & | out, |
| const qualifierst & | qualifiers | ||
| ) |
pretty-print the qualifiers
Definition at line 144 of file c_qualifiers.cpp.