smtrat::cad::debug::UnifiedData Struct Reference

#include <TikzHistoryPrinter.h>

Collaboration diagram for smtrat::cad::debug::UnifiedData:

Public Member Functions
void	add (std::size_t step, const std::string &data)
bool	showsOn (std::size_t step) const
const std::string &	data (std::size_t step) const

Data Fields
std::vector< std::optional< std::string > >	steps

Detailed Description

Definition at line 30 of file TikzHistoryPrinter.h.

Member Function Documentation

add()

void smtrat::cad::debug::UnifiedData::add ( std::size_t  step, const std::string &  data  )

inline

Definition at line 33 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

Here is the caller graph for this function:

data()

const std::string& smtrat::cad::debug::UnifiedData::data ( std::size_t  step ) const

inline

Definition at line 41 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

showsOn()

bool smtrat::cad::debug::UnifiedData::showsOn ( std::size_t  step ) const

inline

Definition at line 37 of file TikzHistoryPrinter.h.

Here is the caller graph for this function:

Field Documentation

steps

std::vector<std::optional<std::string> > smtrat::cad::debug::UnifiedData::steps

Definition at line 31 of file TikzHistoryPrinter.h.

---

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

• smtrat-cad/debug/TikzHistoryPrinter.h