- Committer: Andreas Klostergaard
- Date: 2018-05-27 12:00:38 UTC
- Revision ID: aklost11@student.aau.dk-20180527120038-tqfov0gupzutzza1
Fixed compilation warning.
------------- This line and the following will be ignored --------------
modified:
PetriEngine/Colored/Expressions.h
------------- This line and the following will be ignored --------------
modified:
PetriEngine/Colored/Expressions.h
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CTL-formula-equivalence-rewriting.pdf |
181.3.13 | 6 years ago | Jiri Srba | added documentation for CTL equivalence simplifica | 171 KB |
|
|
|
new-reductionsABCDE-documentation.pdf |
151 | 7 years ago | Jiri Srba | added documentation for rules A, B, C, D, E | 159 KB |
|
|
|
reductionsABCD-documentation.pdf |
53.1.2 | 9 years ago | Jiri Srba | updated Documentation according to the last change | 130 KB |
|
|
|
siphon-trap-formula-simplification-stubborn-sets.pdf |
152.32.24 | 6 years ago | Jakob Dyhr | Add documentation for siphon-trap, formula simplif | 335 KB |
|
|