SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures | Public Member Functions | Protected Member Functions | Protected Attributes | Private Types | Private Member Functions | Private Attributes
smtrat::cad::debug::TikzTreePrinter Class Reference

#include <TikzHistoryPrinter.h>

Inheritance diagram for smtrat::cad::debug::TikzTreePrinter:
Inheritance graph
[legend]
Collaboration diagram for smtrat::cad::debug::TikzTreePrinter:
Collaboration graph
[legend]

Data Structures

struct  UnifiedNode
 

Public Member Functions

void setRoot (const std::string &node, const std::string &data)
 
void addNode (std::size_t level, const std::string &parent, 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
 
virtual 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 Tree = carl::tree< UnifiedNode >
 
using TreeIDs = std::map< std::string, Tree::iterator >
 
using Edges = std::map< std::pair< std::string, std::string >, UnifiedData >
 

Private Member Functions

void doLayout (const Tree::iterator &it)
 
template<typename It >
void reorderTree (Tree &newTree, const It &source, const It &target) const
 

Private Attributes

Tree mTree
 
TreeIDs mTreeIDs
 
Edges mEdges
 

Detailed Description

Definition at line 145 of file TikzHistoryPrinter.h.

Member Typedef Documentation

◆ Edges

using smtrat::cad::debug::TikzTreePrinter::Edges = std::map<std::pair<std::string,std::string>, UnifiedData>
private

Definition at line 169 of file TikzHistoryPrinter.h.

◆ Tree

using smtrat::cad::debug::TikzTreePrinter::Tree = carl::tree<UnifiedNode>
private

Definition at line 167 of file TikzHistoryPrinter.h.

◆ TreeIDs

using smtrat::cad::debug::TikzTreePrinter::TreeIDs = std::map<std::string, Tree::iterator>
private

Definition at line 168 of file TikzHistoryPrinter.h.

Member Function Documentation

◆ addEdge()

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

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

Definition at line 217 of file TikzHistoryPrinter.h.

◆ addNode()

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

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

Definition at line 204 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

◆ doLayout()

void smtrat::cad::debug::TikzTreePrinter::doLayout ( const Tree::iterator &  it)
inlineprivate

Definition at line 174 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ layout()

void smtrat::cad::debug::TikzTreePrinter::layout ( )
inlineoverridevirtual

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

Definition at line 224 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

◆ 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:

◆ reorderTree()

template<typename It >
void smtrat::cad::debug::TikzTreePrinter::reorderTree ( Tree &  newTree,
const It &  source,
const It &  target 
) const
inlineprivate

Definition at line 183 of file TikzHistoryPrinter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ setRoot()

void smtrat::cad::debug::TikzTreePrinter::setRoot ( const std::string &  node,
const std::string &  data 
)
inline

Definition at line 195 of file TikzHistoryPrinter.h.

Here is the caller 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()

virtual std::size_t smtrat::cad::debug::TikzTreePrinter::width ( ) const
inlineoverridevirtual

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

Definition at line 264 of file TikzHistoryPrinter.h.

◆ writeTo()

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

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

Definition at line 239 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

Field Documentation

◆ mEdges

Edges smtrat::cad::debug::TikzTreePrinter::mEdges
private

Definition at line 172 of file TikzHistoryPrinter.h.

◆ mStep

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

Definition at line 50 of file TikzHistoryPrinter.h.

◆ mTree

Tree smtrat::cad::debug::TikzTreePrinter::mTree
private

Definition at line 170 of file TikzHistoryPrinter.h.

◆ mTreeIDs

TreeIDs smtrat::cad::debug::TikzTreePrinter::mTreeIDs
private

Definition at line 171 of file TikzHistoryPrinter.h.

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