CBMC
Loading...
Searching...
No Matches
Classes | Functions
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.

AltStyle によって変換されたページ (->オリジナル) /