|
cprover
|
#include <help_formatter.h>
Classes | |
| struct | statet |
Public Member Functions | |
| help_formattert (const std::string &_s) | |
| void | operator() (std::ostream &) const |
Public Attributes | |
| const std::string & | s |
Static Protected Member Functions | |
| static void | emit_word (statet &, std::ostream &) |
Static Protected Attributes | |
| static const std::size_t | first_column_width = 29 |
Definition at line 18 of file help_formatter.h.
|
inlineexplicit |
Definition at line 21 of file help_formatter.h.
|
staticprotected |
Definition at line 15 of file help_formatter.cpp.
| void help_formattert::operator() | ( | std::ostream & | out | ) | const |
Definition at line 32 of file help_formatter.cpp.
|
staticprotected |
Definition at line 37 of file help_formatter.h.
| const std::string& help_formattert::s |
Definition at line 25 of file help_formatter.h.