smtrat::cad::debug::TikzDAGPrinter Class Reference

#include <TikzHistoryPrinter.h>

Inheritance diagram for smtrat::cad::debug::TikzDAGPrinter:

Collaboration diagram for smtrat::cad::debug::TikzDAGPrinter:

Data Structures
struct	Node

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

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

Private Types
using	Level = std::map< std::string, Node >
using	NodeIDs = std::map< std::string, Level::iterator >

Private Attributes
std::vector< Level >	mData
NodeIDs	mNodeIDs
std::size_t	mMaxWidth = 0

Detailed Description

Definition at line 70 of file TikzHistoryPrinter.h.

Member Typedef Documentation

Level

using smtrat::cad::debug::TikzDAGPrinter::Level = std::map<std::string, Node>

private

Definition at line 76 of file TikzHistoryPrinter.h.

NodeIDs

using smtrat::cad::debug::TikzDAGPrinter::NodeIDs = std::map<std::string, Level::iterator>

private

Definition at line 77 of file TikzHistoryPrinter.h.

Member Function Documentation

addEdge()

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

inlineoverridevirtual

Implements smtrat::cad::debug::TikzBasePrinter.

Definition at line 91 of file TikzHistoryPrinter.h.

addNode()

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

inlineoverridevirtual

Implements smtrat::cad::debug::TikzBasePrinter.

Definition at line 82 of file TikzHistoryPrinter.h.

layout()

void smtrat::cad::debug::TikzDAGPrinter::layout ( )

inlineoverridevirtual

Implements smtrat::cad::debug::TikzBasePrinter.

Definition at line 101 of file TikzHistoryPrinter.h.

printableID()

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

inlineprotectedinherited

Definition at line 51 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

step()

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

inlineinherited

Definition at line 61 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

width()

std::size_t smtrat::cad::debug::TikzDAGPrinter::width ( ) const

inlineoverridevirtual

Implements smtrat::cad::debug::TikzBasePrinter.

Definition at line 140 of file TikzHistoryPrinter.h.

writeTo()

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

inlineoverridevirtual

Implements smtrat::cad::debug::TikzBasePrinter.

Definition at line 106 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

Field Documentation

mData

std::vector<Level> smtrat::cad::debug::TikzDAGPrinter::mData

private

Definition at line 78 of file TikzHistoryPrinter.h.

mMaxWidth

std::size_t smtrat::cad::debug::TikzDAGPrinter::mMaxWidth = 0

private

Definition at line 80 of file TikzHistoryPrinter.h.

mNodeIDs

NodeIDs smtrat::cad::debug::TikzDAGPrinter::mNodeIDs

private

Definition at line 79 of file TikzHistoryPrinter.h.

mStep

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

protectedinherited

Definition at line 50 of file TikzHistoryPrinter.h.

---

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

• smtrat-cad/debug/TikzHistoryPrinter.h