help_formattert::statet Struct Reference

#include <help_formatter.h>

Collaboration diagram for help_formattert::statet:

Public Attributes
std::size_t	column = 0
bool	aligning = false
std::string	word = ""

Detailed Description

Definition at line 29 of file help_formatter.h.

Member Data Documentation

aligning

bool help_formattert::statet::aligning = false

Definition at line 32 of file help_formatter.h.

column

std::size_t help_formattert::statet::column = 0

Definition at line 31 of file help_formatter.h.

word

std::string help_formattert::statet::word = ""

Definition at line 33 of file help_formatter.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/help_formatter.h