CBMC
help_formatter.h File Reference

Help Formatter. More...

#include <iosfwd>
#include <string>
+ Include dependency graph for help_formatter.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  help_formattert
 
struct  help_formattert::statet
 

Functions

static help_formattert help_formatter (const std::string &s)
 
static std::ostream & operator<< (std::ostream &out, const help_formattert &h)
 

Detailed Description

Help Formatter.

Definition in file help_formatter.h.

Function Documentation

◆ help_formatter()

static help_formattert help_formatter ( const std::string &  s)
inlinestatic

Definition at line 40 of file help_formatter.h.

◆ operator<<()

static std::ostream& operator<< ( std::ostream &  out,
const help_formattert h 
)
inlinestatic

Definition at line 45 of file help_formatter.h.