cfl_localgen.cpp File Reference

Helper functions for projected generators. More...

#include "cfl_localgen.h"

Go to the source code of this file.

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
StateSet	faudes::LowExitStates (const Generator &rLowGen, const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState)
	LowExitStates return-copy function: More...
void	faudes::LowExitStates (const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState, StateSet &rLowExitStates)
	LowExitStates call-by-reference function: More...
EventSet	faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState)
	ReachableEvents return-copy function: More...
void	faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, EventSet &rReachableEvents)
	ReachableEvents call-by-reference function: More...
void	faudes::LocalCoaccessibleReach (const TransSetX2EvX1 &rRevTransRel, const EventSet &rHighAlph, Idx lowState, StateSet &rCoaccessibleReach)
	Compute the coaccessible reach for a local automaton. More...
void	faudes::LocalAccessibleReach (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, StateSet &rAccessibleReach)
	Compute the accessible reach for a local automaton. More...

Detailed Description

Helper functions for projected generators.

Definition in file cfl_localgen.cpp.