|
Go to the documentation of this file.
23 #ifndef FAUDES_GRAPHFNCTS_H
24 #define FAUDES_GRAPHFNCTS_H
74 std::stack<Idx>& rStack,
76 std::map<const Idx, int>& rDfn,
77 std::map<const Idx, int>& rLowLnk,
78 std::list<StateSet>& rSccList,
96 FmIgnoreLiveLocks=0x1000,
97 FmLiveLocksOnly =0x2000,
98 FmIgnoreUnaccessible=0x4000
127 int Mode( void) const { return mMode;};
139 void StatesAvoid( const StateSet& rStatesAvoid);
142 void StatesRequire( const StateSet& rStatesRequire);
145 void EventsAvoid( const EventSet& rEventsAvoid);
148 void IgnoreTrivial( bool flag);
151 void FindFirst( bool flag);
157 void MergeStatesAvoid( const StateSet& rStatesAvoid);
242 std::stack<Idx>& rStack,
244 std::map<const Idx, int>& rDfn,
245 std::map<const Idx, int>& rLowLnk,
246 std::list<StateSet>& rSccList,
275 std::list<StateSet>& rSccList,
302 std::list<StateSet>& rSccList,
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|