format_textt Class Reference

#include <format_specifier.h>

Collaboration diagram for format_textt:

Public Member Functions
	format_textt ()=default
	format_textt (std::string _content)
	format_textt (const format_textt &fs)
std::string	get_content () const

Private Attributes
std::string	content

Detailed Description

Definition at line 76 of file format_specifier.h.

Constructor & Destructor Documentation

format_textt() [1/3]

format_textt::format_textt ( )

default

format_textt() [2/3]

format_textt::format_textt ( std::string  _content )

inlineexplicit

Definition at line 81 of file format_specifier.h.

format_textt() [3/3]

format_textt::format_textt ( const format_textt &  fs )

inline

Definition at line 85 of file format_specifier.h.

Member Function Documentation

get_content()

std::string format_textt::get_content ( ) const

inline

Definition at line 89 of file format_specifier.h.

Member Data Documentation

content

std::string format_textt::content

private

Definition at line 95 of file format_specifier.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/strings/format_specifier.h