cprover
format_textt Class Reference
Collaboration diagram for format_textt:
[legend]

Public Member Functions

 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 77 of file string_constraint_generator_format.cpp.

Constructor & Destructor Documentation

◆ format_textt() [1/2]

format_textt::format_textt ( std::string  _content)
inlineexplicit

Definition at line 80 of file string_constraint_generator_format.cpp.

◆ format_textt() [2/2]

format_textt::format_textt ( const format_textt fs)
inline

Definition at line 82 of file string_constraint_generator_format.cpp.

Member Function Documentation

◆ get_content()

std::string format_textt::get_content ( ) const
inline

Definition at line 84 of file string_constraint_generator_format.cpp.

References content.

Member Data Documentation

◆ content

std::string format_textt::content
private

Definition at line 90 of file string_constraint_generator_format.cpp.

Referenced by get_content().


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