mtc_redundantcolors.h File Reference

#include "corefaudes.h"
#include "mtc_observercomputation.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
void	faudes::SearchScc (const Idx state, int &rCount, const Generator &rGen, StateSet &rNewStates, std::stack< Idx > &rSTACK, StateSet &rStackStates, std::map< const Idx, int > &rDFN, std::map< const Idx, int > &rLOWLINK, std::set< StateSet > &rSccSet, StateSet &rRoots)
bool	faudes::ComputeSCC (const Generator &rGen, std::set< StateSet > &rSCCSet, StateSet &rRoots)
void	faudes::ColoredSCC (MtcSystem &rGen, ColorSet &rColors, std::set< StateSet > &rColoredSCCs)
bool	faudes::CheckRedundantColor (MtcSystem rGen, Idx redundantColor)
void	faudes::OptimalColorSet (const MtcSystem &rGen, ColorSet &rOptimalColors, EventSet &rHighAlph)
void	faudes::rec_OptimalColorSet (const MtcSystem &rGen, const std::vector< Idx > &rColorVector, Idx colorNumber, ColorSet &rOptimalColors, Idx &rOptimalNumberStates, Idx &rOptimalNumberColors, const EventSet &rHighAlph, EventSet &rOptimalHighAlph)

Detailed Description

Methods for removing redundant colors for the supervisor synthesis from MtcSystems

Definition in file mtc_redundantcolors.h.