smtrat::cad::debug::IDSanitizer Struct Reference

#include <TikzHistoryPrinter.h>

Collaboration diagram for smtrat::cad::debug::IDSanitizer:

Public Member Functions
	IDSanitizer (const std::string &prefix)
std::string	operator() (const std::string &raw)

Private Attributes
std::map< std::string, std::string >	mMap
std::string	mPrefix

Detailed Description

Definition at line 15 of file TikzHistoryPrinter.h.

Constructor & Destructor Documentation

IDSanitizer()

smtrat::cad::debug::IDSanitizer::IDSanitizer ( const std::string &  prefix )

inline

Definition at line 20 of file TikzHistoryPrinter.h.

Member Function Documentation

operator()()

std::string smtrat::cad::debug::IDSanitizer::operator() ( const std::string &  raw )

inline

Definition at line 21 of file TikzHistoryPrinter.h.

Field Documentation

mMap

std::map<std::string,std::string> smtrat::cad::debug::IDSanitizer::mMap

private

Definition at line 17 of file TikzHistoryPrinter.h.

mPrefix

std::string smtrat::cad::debug::IDSanitizer::mPrefix

private

Definition at line 18 of file TikzHistoryPrinter.h.

---

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

• smtrat-cad/debug/TikzHistoryPrinter.h