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

#include <TikzHistoryPrinter.h>

Collaboration diagram for smtrat::cad::debug::TikzHistoryPrinter:
Collaboration graph
[legend]

Public Member Functions

template<typename Printer >
void configure (const std::string &name)
 
template<typename ID1 , typename ID2 , typename T >
void addNode (const std::string &printer, std::size_t level, const ID1 &parent, const ID2 &node, const T &data)
 
template<typename ID1 , typename ID2 , typename T >
void addEdge (const std::string &printer, const ID1 &src, const ID2 &dst, const T &data)
 
template<typename L >
void addLifting (const L &l)
 
template<typename P >
void addProjection (const P &p)
 
void step ()
 
void layout ()
 
void writeTo (const std::string &filename) const
 

Private Member Functions

TikzBasePrinter * getPrinter (const std::string &id)
 
template<typename T >
std::string asString (const T &t) const
 
std::string nodeValue (const Sample &s, bool asTex=false) const
 
std::string sampleID (const Sample &s) const
 
template<typename Tree , typename It >
std::string nodeID (const Tree &t, const It &it) const
 
std::string polyID (std::size_t level, std::size_t id) const
 

Private Attributes

std::map< std::string, TikzBasePrinter * > mPrinter
 
std::size_t mStep = 0
 

Detailed Description

Definition at line 269 of file TikzHistoryPrinter.h.

Member Function Documentation

◆ addEdge()

template<typename ID1 , typename ID2 , typename T >
void smtrat::cad::debug::TikzHistoryPrinter::addEdge ( const std::string &  printer,
const ID1 &  src,
const ID2 &  dst,
const T &  data 
)
inline

Definition at line 324 of file TikzHistoryPrinter.h.

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

◆ addLifting()

template<typename L >
void smtrat::cad::debug::TikzHistoryPrinter::addLifting ( const L &  l)
inline

Definition at line 329 of file TikzHistoryPrinter.h.

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

◆ addNode()

template<typename ID1 , typename ID2 , typename T >
void smtrat::cad::debug::TikzHistoryPrinter::addNode ( const std::string &  printer,
std::size_t  level,
const ID1 &  parent,
const ID2 &  node,
const T &  data 
)
inline

Definition at line 320 of file TikzHistoryPrinter.h.

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

◆ addProjection()

template<typename P >
void smtrat::cad::debug::TikzHistoryPrinter::addProjection ( const P &  p)
inline

Definition at line 342 of file TikzHistoryPrinter.h.

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

◆ asString()

template<typename T >
std::string smtrat::cad::debug::TikzHistoryPrinter::asString ( const T &  t) const
inlineprivate

Definition at line 278 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ configure()

template<typename Printer >
void smtrat::cad::debug::TikzHistoryPrinter::configure ( const std::string &  name)
inline

Definition at line 315 of file TikzHistoryPrinter.h.

◆ getPrinter()

TikzBasePrinter* smtrat::cad::debug::TikzHistoryPrinter::getPrinter ( const std::string &  id)
inlineprivate

Definition at line 274 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ layout()

void smtrat::cad::debug::TikzHistoryPrinter::layout ( )
inline

Definition at line 364 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ nodeID()

template<typename Tree , typename It >
std::string smtrat::cad::debug::TikzHistoryPrinter::nodeID ( const Tree &  t,
const It &  it 
) const
inlineprivate

Definition at line 303 of file TikzHistoryPrinter.h.

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

◆ nodeValue()

std::string smtrat::cad::debug::TikzHistoryPrinter::nodeValue ( const Sample &  s,
bool  asTex = false 
) const
inlineprivate

Definition at line 283 of file TikzHistoryPrinter.h.

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

◆ polyID()

std::string smtrat::cad::debug::TikzHistoryPrinter::polyID ( std::size_t  level,
std::size_t  id 
) const
inlineprivate

Definition at line 310 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ sampleID()

std::string smtrat::cad::debug::TikzHistoryPrinter::sampleID ( const Sample &  s) const
inlineprivate

Definition at line 294 of file TikzHistoryPrinter.h.

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

◆ step()

void smtrat::cad::debug::TikzHistoryPrinter::step ( )
inline

Definition at line 359 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

◆ writeTo()

void smtrat::cad::debug::TikzHistoryPrinter::writeTo ( const std::string &  filename) const
inline

Definition at line 368 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

Field Documentation

◆ mPrinter

std::map<std::string, TikzBasePrinter*> smtrat::cad::debug::TikzHistoryPrinter::mPrinter
private

Definition at line 271 of file TikzHistoryPrinter.h.

◆ mStep

std::size_t smtrat::cad::debug::TikzHistoryPrinter::mStep = 0
private

Definition at line 272 of file TikzHistoryPrinter.h.

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