cprover
format_textt Class Reference
+ Collaboration diagram for format_textt:

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

◆ format_textt() [2/2]

format_textt::format_textt ( const format_textt fs)
inline

Definition at line 83 of file string_constraint_generator_format.cpp.

Member Function Documentation

◆ get_content()

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

Definition at line 85 of file string_constraint_generator_format.cpp.

Member Data Documentation

◆ content

std::string format_textt::content
private

Definition at line 91 of file string_constraint_generator_format.cpp.


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