|
cprover
|
Go to the source code of this file.
Classes | |
| class | c_qualifierst |
Functions | |
| std::ostream & | operator<< (std::ostream &, const c_qualifierst &) |
| pretty-print the qualifiers More... | |
| std::ostream& operator<< | ( | std::ostream & | , |
| const c_qualifierst & | |||
| ) |
pretty-print the qualifiers
Definition at line 123 of file c_qualifiers.cpp.
References c_qualifierst::as_string().