SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cad::debug::TikzDAGPrinter::Node Struct Reference
Collaboration diagram for smtrat::cad::debug::TikzDAGPrinter::Node:
Collaboration graph
[legend]

Data Fields

UnifiedData data
 
std::map< std::string, UnifiedData > outgoing
 

Detailed Description

Definition at line 72 of file TikzHistoryPrinter.h.

Field Documentation

◆ data

UnifiedData smtrat::cad::debug::TikzDAGPrinter::Node::data

Definition at line 73 of file TikzHistoryPrinter.h.

◆ outgoing

std::map<std::string, UnifiedData> smtrat::cad::debug::TikzDAGPrinter::Node::outgoing

Definition at line 74 of file TikzHistoryPrinter.h.

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