cprover
|
Subgoal Documentation. More...
#include "document_properties.h"
#include <fstream>
#include <util/string2int.h>
#include <ansi-c/expr2c.h>
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_functionst &goto_functions, std::ostream &out) |
void | document_properties_latex (const goto_functionst &goto_functions, std::ostream &out) |
Subgoal Documentation.
Definition in file document_properties.cpp.
#define MAXWIDTH 62 |
Definition at line 20 of file document_properties.cpp.
Referenced by document_propertiest::strip_space().
void document_properties_html | ( | const goto_functionst & | goto_functions, |
std::ostream & | out | ||
) |
Definition at line 362 of file document_properties.cpp.
References document_propertiest::document_propertiest().
Referenced by goto_instrument_parse_optionst::doit().
void document_properties_latex | ( | const goto_functionst & | goto_functions, |
std::ostream & | out | ||
) |
Definition at line 369 of file document_properties.cpp.
References document_propertiest::document_propertiest().
Referenced by goto_instrument_parse_optionst::doit().
std::string escape_html | ( | const std::string & | s | ) |
Definition at line 121 of file document_properties.cpp.
Referenced by document_propertiest::doit(), and document_propertiest::get_code().
std::string escape_latex | ( | const std::string & | s, |
bool | alltt | ||
) |
Definition at line 100 of file document_properties.cpp.
Referenced by document_propertiest::doit(), and document_propertiest::get_code().
bool is_empty | ( | const std::string & | s | ) |
Definition at line 139 of file document_properties.cpp.
Referenced by string_constraint_generatort::add_axioms_for_is_empty(), string_constraint_generatort::add_axioms_for_substring(), and document_propertiest::get_code().