faudes::TopoSort::State Struct Reference

Detailed Description

Definition at line 278 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 279 of file cfl_bisimcta.cpp.

◆ permanent

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

Definition at line 280 of file cfl_bisimcta.cpp.

◆ succs

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

Definition at line 282 of file cfl_bisimcta.cpp.

◆ temporary

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

Definition at line 281 of file cfl_bisimcta.cpp.


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

libFAUDES 2.34d --- 2026.03.11 --- c++ api documentaion by doxygen