SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::cad::debug::DotSubgraph Struct Reference

#include <DotHelper.h>

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

Public Member Functions

 DotSubgraph (const std::string &n)
 
void add (const std::string &n)
 

Data Fields

std::string name
 
std::vector< std::string > nodes
 

Friends

std::ostream & operator<< (std::ostream &os, const DotSubgraph &dsg)
 

Detailed Description

Definition at line 10 of file DotHelper.h.

Constructor & Destructor Documentation

◆ DotSubgraph()

smtrat::cad::debug::DotSubgraph::DotSubgraph ( const std::string &  n)
inline

Definition at line 13 of file DotHelper.h.

Member Function Documentation

◆ add()

void smtrat::cad::debug::DotSubgraph::add ( const std::string &  n)
inline

Definition at line 14 of file DotHelper.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const DotSubgraph &  dsg 
)
friend

Definition at line 17 of file DotHelper.h.

Field Documentation

◆ name

std::string smtrat::cad::debug::DotSubgraph::name

Definition at line 11 of file DotHelper.h.

◆ nodes

std::vector<std::string> smtrat::cad::debug::DotSubgraph::nodes

Definition at line 12 of file DotHelper.h.

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