SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::cad::debug::TikzTreePrinter::UnifiedNode Struct Reference
Collaboration diagram for smtrat::cad::debug::TikzTreePrinter::UnifiedNode:
Collaboration graph
[legend]

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

UnifiedData mData
 
std::string id
 
std::size_t depth = 0
 
std::size_t subtreeWidth = 0
 
int position = 0
 

Friends

std::ostream & operator<< (std::ostream &os, const UnifiedNode &un)
 

Detailed Description

Definition at line 147 of file TikzHistoryPrinter.h.

Member Function Documentation

◆ add()

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

Definition at line 154 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

◆ data()

const std::string& smtrat::cad::debug::TikzTreePrinter::UnifiedNode::data ( std::size_t  step) const
inline

Definition at line 160 of file TikzHistoryPrinter.h.

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

◆ showsOn()

bool smtrat::cad::debug::TikzTreePrinter::UnifiedNode::showsOn ( std::size_t  step) const
inline

Definition at line 157 of file TikzHistoryPrinter.h.

Here is the call graph for this function:

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const UnifiedNode &  un 
)
friend

Definition at line 163 of file TikzHistoryPrinter.h.

Field Documentation

◆ depth

std::size_t smtrat::cad::debug::TikzTreePrinter::UnifiedNode::depth = 0

Definition at line 150 of file TikzHistoryPrinter.h.

◆ id

std::string smtrat::cad::debug::TikzTreePrinter::UnifiedNode::id

Definition at line 149 of file TikzHistoryPrinter.h.

◆ mData

UnifiedData smtrat::cad::debug::TikzTreePrinter::UnifiedNode::mData

Definition at line 148 of file TikzHistoryPrinter.h.

◆ position

int smtrat::cad::debug::TikzTreePrinter::UnifiedNode::position = 0

Definition at line 152 of file TikzHistoryPrinter.h.

◆ subtreeWidth

std::size_t smtrat::cad::debug::TikzTreePrinter::UnifiedNode::subtreeWidth = 0

Definition at line 151 of file TikzHistoryPrinter.h.

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