DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <TimeReachabilityGraph.hh>
Public Types | |
typedef Diades::Utils::Exception< TimeReachabilityGraph > | Exception |
typedef Diades::Graph::NodeMap< unordered_map< string, Diades::Utils::Interval > > | TimeConstraints |
typedef unordered_map< string, Diades::Utils::Interval >::const_iterator | TimeConstraintsIterator |
Public Types inherited from Diades::Petri::ReachabilityGraph | |
typedef Diades::Utils::Exception< ReachabilityGraph > | Exception |
typedef Diades::Graph::Graph | RGraph |
typedef Diades::Graph::Node | RState |
typedef Diades::Graph::Edge | RTransition |
typedef Diades::Graph::NodeMap< set< string > > | Marking |
typedef Diades::Graph::EdgeMap< string > | TransitionLabel |
typedef Diades::Graph::NodeMap< unsigned > | Ids |
typedef Diades::Graph::NodeIterator | RStateIterator |
typedef Diades::Graph::EdgeIterator | RTransitionIterator |
typedef Diades::Graph::InEdgeIterator | InRTransitionIterator |
typedef Diades::Graph::OutEdgeIterator | OutRTransitionIterator |
typedef unordered_map< unsigned, RState > | StateDictionnary |
Static Public Member Functions | |
static string | typeName () |
Static Public Member Functions inherited from Diades::Petri::ReachabilityGraph | |
static string | typeName () |
Private Attributes | |
TimeConstraints | _constraints |
Additional Inherited Members | |
Protected Member Functions inherited from Diades::Petri::ReachabilityGraph | |
bool | importTinaAut (const string &fileAut) |
virtual bool | importTinaVrb (const string &fileVrb) |
Reachability graph of a Time Petri Net. Enumerative structure used by Houssam-Eddine Gougam for time analysis.
Definition at line 25 of file TimeReachabilityGraph.hh.
typedef Diades::Utils::Exception<TimeReachabilityGraph> Diades::Petri::TimeReachabilityGraph::Exception |
Definition at line 29 of file TimeReachabilityGraph.hh.
typedef Diades::Graph::NodeMap< unordered_map< string,Diades::Utils::Interval> > Diades::Petri::TimeReachabilityGraph::TimeConstraints |
Definition at line 30 of file TimeReachabilityGraph.hh.
typedef unordered_map< string,Diades::Utils::Interval>::const_iterator Diades::Petri::TimeReachabilityGraph::TimeConstraintsIterator |
Definition at line 31 of file TimeReachabilityGraph.hh.
|
inline |
Definition at line 36 of file TimeReachabilityGraph.hh.
|
inlinevirtual |
Definition at line 40 of file TimeReachabilityGraph.hh.
|
inlinevirtual |
state | class to modify |
transitionName | name of the transition whose trigger is under time constraints |
interval | the Time Interval |
Reimplemented from Diades::Petri::ReachabilityGraph.
Definition at line 48 of file TimeReachabilityGraph.hh.
References require.
|
inline |
state | a class |
Definition at line 60 of file TimeReachabilityGraph.hh.
References require.
|
inline |
state | a class |
Definition at line 72 of file TimeReachabilityGraph.hh.
References require.
|
virtual |
filedot | file suffixed (*.dot) input to DOT |
Reimplemented from Diades::Petri::ReachabilityGraph.
|
inlinestatic |
Definition at line 28 of file TimeReachabilityGraph.hh.
|
private |
Definition at line 33 of file TimeReachabilityGraph.hh.