CBMC
Public Attributes | List of all members
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: