cfl_localgen.cpp File Reference
#include "cfl_localgen.h"

Go to the source code of this file.

Namespaces

 faudes
 

Functions

StateSet faudes::LowExitStates (const Generator &rLowGen, const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState)
 
void faudes::LowExitStates (const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState, StateSet &rLowExitStates)
 
EventSet faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState)
 
void faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, EventSet &rReachableEvents)
 
void faudes::LocalCoaccessibleReach (const TransSetX2EvX1 &rRevTransRel, const EventSet &rHighAlph, Idx lowState, StateSet &rCoaccessibleReach)
 
void faudes::LocalAccessibleReach (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, StateSet &rAccessibleReach)
 

Detailed Description

Helper functions for projected generators

Definition in file cfl_localgen.cpp.

libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen