localgen.h

Go to the documentation of this file.
00001 /* localgen.h -- helper functions for projected generators */
00002 
00003 /* FAU Discrete Event Systems Library (libfaudes)
00004 
00005    Copyright (C) 2006  Bernd Opitz
00006    Exclusive copyright is granted to Klaus Schmidt
00007 
00008    This library is free software; you can redistribute it and/or
00009    modify it under the terms of the GNU Lesser General Public
00010    License as published by the Free Software Foundation; either
00011    version 2.1 of the License, or (at your option) any later version.
00012 
00013    This library is distributed in the hope that it will be useful,
00014    but WITHOUT ANY WARRANTY; without even the implied warranty of
00015    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00016    Lesser General Public License for more details.
00017 
00018    You should have received a copy of the GNU Lesser General Public
00019    License along with this library; if not, write to the Free Software
00020    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA */
00021 
00022 
00023 #ifndef LOCALGEN_H
00024 
00025 #include "agenerator.h"
00026 #include <map>
00027 #include <stack>
00028 
00029 namespace faudes {
00030 
00052 StateSet LowExitStates(const vGenerator& rLowGen, const EventSet& rHighAlph, 
00053     const std::map<Idx,StateSet>& rEntryStatesMap, const TransSetX2EvX1& rLowRevTransRel, Idx highState);
00054 
00074 void LowExitStates(const EventSet& rHighAlph, const std::map<Idx,StateSet>& rEntryStatesMap, 
00075     const TransSetX2EvX1& rLowRevTransRel, Idx highState, StateSet& rLowExitStates);
00076 
00091 EventSet ReachableEvents(const vGenerator& rLowGen, const EventSet& rHighAlph, 
00092     Idx lowState);
00093 
00110 void ReachableEvents(const vGenerator& rLowGen, const EventSet& rHighAlph, 
00111     Idx lowState, EventSet& rReachableEvents);
00112 
00125 void LocalCoaccessibleReach(const TransSetX2EvX1& rRevTransRel, 
00126     const EventSet& rHighAlph, Idx lowState, StateSet& rCoaccessibleReach);
00127 
00140 void LocalAccessibleReach(const vGenerator& rLowGen, const EventSet& rHighAlph, 
00141     Idx lowState, StateSet& rAccessibleReach);
00142 
00143 } // namespace faudes
00144 
00145 #define LOCALGEN_H
00146 #endif 
00147 

Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4