- Committer: Jiri Srba
- Date: 2014-03-12 07:47:26 UTC
- mfrom: (43.1.5 statistics)
- Revision ID: srba@cs.aau.dk-20140312074726-1jjxr63r0ial6umm
merged in branch adding transition statistics to the output of the engine
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
DTAPN
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
PQL
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Reachability
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
|
Structures
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
AbstractPetriNetBuilder.h |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 1.9 KB |
|
|
|
PetriNet.cpp |
43.1.1 | 10 years ago | Jiri Srba | added transition firing statistics (needs testing) | 6.2 KB |
|
|
|
PetriNet.h |
43.1.3 | 10 years ago | Jiri Srba | For transition statistics now prints ? if a transi | 4.2 KB |
|
|
|
PetriNetBuilder.cpp |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 5.2 KB |
|
|
|
PetriNetBuilder.h |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 2.4 KB |
|
|
|
ProgressReporter.h |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 1.2 KB |
|
|
|
Reducer.cpp |
40.1.68 | 10 years ago | Jiri Srba | formatting fix | 14.4 KB |
|
|
|
Reducer.h |
40.1.62 | 10 years ago | Jiri Srba | changed reduction rules to that they return boolea | 3.5 KB |
|
|
|
StandardOutputProgressReporter.cpp |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 1.3 KB |
|
|
|
StandardOutputProgressReporter.h |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 1.3 KB |
|
|
|
ValidationBuilder.cpp |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 7.6 KB |
|
|
|
ValidationBuilder.h |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 4.7 KB |
|
|