faudes::TopoSort::State Struct Reference

Detailed Description

Definition at line 264 of file cfl_bisimcta.cpp.

Public Attributes

Idx id
 
bool permanent = 0
 
bool temporary = 0
 
std::vector< Idxsuccs
 

Member Data Documentation

◆ id

Idx faudes::TopoSort::State::id

Definition at line 265 of file cfl_bisimcta.cpp.

◆ permanent

bool faudes::TopoSort::State::permanent = 0

Definition at line 266 of file cfl_bisimcta.cpp.

◆ succs

std::vector<Idx> faudes::TopoSort::State::succs

Definition at line 268 of file cfl_bisimcta.cpp.

◆ temporary

bool faudes::TopoSort::State::temporary = 0

Definition at line 267 of file cfl_bisimcta.cpp.


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

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen