cprover
c_qualifiers.h File Reference
#include <iosfwd>
#include <util/expr.h>
Include dependency graph for c_qualifiers.h:
This graph shows which files directly or indirectly include this file:

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...
 

Function Documentation

◆ operator<<()

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().