#include "document_properties.h"#include <fstream>#include <util/string2int.h>#include <goto-programs/goto_model.h>
Include dependency graph for document_properties.cpp:Go to the source code of this file.
Classes | |
| class | document_propertiest |
| struct | document_propertiest::linet |
| struct | document_propertiest::doc_claimt |
Macros | |
| #define | MAXWIDTH 62 |
Functions | |
| std::string | escape_latex (const std::string &s, bool alltt) |
| std::string | escape_html (const std::string &s) |
| bool | is_empty (const std::string &s) |
| void | document_properties_html (const goto_modelt &goto_model, std::ostream &out) |
| void | document_properties_latex (const goto_modelt &goto_model, std::ostream &out) |
Detailed Description
Subgoal Documentation
Definition in file document_properties.cpp.
Macro Definition Documentation
◆ MAXWIDTH
| #define MAXWIDTH 62 |
Definition at line 20 of file document_properties.cpp.
Function Documentation
◆ document_properties_html()
| void document_properties_html | ( | const goto_modelt & | goto_model, |
| std::ostream & | out | ||
| ) |
Definition at line 362 of file document_properties.cpp.
◆ document_properties_latex()
| void document_properties_latex | ( | const goto_modelt & | goto_model, |
| std::ostream & | out | ||
| ) |
Definition at line 369 of file document_properties.cpp.
◆ escape_html()
| std::string escape_html | ( | const std::string & | s | ) |
Definition at line 120 of file document_properties.cpp.
◆ escape_latex()
| std::string escape_latex | ( | const std::string & | s, |
| bool | alltt | ||
| ) |
Definition at line 99 of file document_properties.cpp.
◆ is_empty()
| bool is_empty | ( | const std::string & | s | ) |
Definition at line 138 of file document_properties.cpp.
