smtrat::cad::debug::TikzBasePrinter Class Reference

#include <TikzHistoryPrinter.h>

Inheritance diagram for smtrat::cad::debug::TikzBasePrinter:

Public Member Functions
virtual void	addNode (std::size_t level, const std::string &parent, const std::string &node, const std::string &data)=0
virtual void	addEdge (const std::string &src, const std::string &dst, const std::string &data)=0
void	step ()
virtual void	layout ()=0
virtual void	writeTo (std::ostream &os, int xBase) const =0
virtual std::size_t	width () const =0

Protected Member Functions
std::string	printableID (const std::string &raw, const std::string &prefix, std::map< std::string, std::string > &map) const

Protected Attributes
std::size_t	mStep

Detailed Description

Definition at line 48 of file TikzHistoryPrinter.h.

Member Function Documentation

addEdge()

virtual void smtrat::cad::debug::TikzBasePrinter::addEdge ( const std::string &  src, const std::string &  dst, const std::string &  data  )

pure virtual

Implemented in smtrat::cad::debug::TikzTreePrinter, and smtrat::cad::debug::TikzDAGPrinter.

Here is the caller graph for this function:

addNode()

virtual void smtrat::cad::debug::TikzBasePrinter::addNode ( std::size_t  level, const std::string &  parent, const std::string &  node, const std::string &  data  )

pure virtual

Implemented in smtrat::cad::debug::TikzTreePrinter, and smtrat::cad::debug::TikzDAGPrinter.

Here is the caller graph for this function:

layout()

virtual void smtrat::cad::debug::TikzBasePrinter::layout ( )

pure virtual

Implemented in smtrat::cad::debug::TikzTreePrinter, and smtrat::cad::debug::TikzDAGPrinter.

printableID()

std::string smtrat::cad::debug::TikzBasePrinter::printableID ( const std::string &  raw, const std::string &  prefix, std::map< std::string, std::string > &  map  ) const

inlineprotected

Definition at line 51 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

step()

void smtrat::cad::debug::TikzBasePrinter::step ( )

inline

Definition at line 61 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

width()

virtual std::size_t smtrat::cad::debug::TikzBasePrinter::width ( ) const

pure virtual

Implemented in smtrat::cad::debug::TikzTreePrinter, and smtrat::cad::debug::TikzDAGPrinter.

writeTo()

virtual void smtrat::cad::debug::TikzBasePrinter::writeTo ( std::ostream &  os, int  xBase  ) const

pure virtual

Implemented in smtrat::cad::debug::TikzTreePrinter, and smtrat::cad::debug::TikzDAGPrinter.

Field Documentation

mStep

std::size_t smtrat::cad::debug::TikzBasePrinter::mStep

protected

Definition at line 50 of file TikzHistoryPrinter.h.

---

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

• smtrat-cad/debug/TikzHistoryPrinter.h