ClearBlue
Data Fields
DFSResult Struct Reference

Data Fields

std::map< SymbolicExprGraph *, SymbolicExprGraph * > Parent
 
std::map< SymbolicExprGraph *, int > StartTime
 
std::map< SymbolicExprGraph *, int > FinishTime
 
std::map< std::pair< SymbolicExprGraph *, SymbolicExprGraph * >, int > Edges
 
int Time = 0
 

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