- Committer: tpede16 at aau
- Date: 2021-02-25 10:03:51 UTC
- Revision ID: tpede16@student.aau.dk-20210225100351-hdwax3ktqci2uuea
Add colortype to dot colors and fix writing of arc weights
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Colored
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
PQL
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Reachability
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Simplification
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Structures
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
TAR
|
213.1.72 | 4 years ago | Peter G. Jensen | refactored implementation into meaningfull compone |
|
||
CMakeLists.txt |
213.1.72 | 4 years ago | Peter G. Jensen | refactored implementation into meaningfull compone | 453 bytes |
|
|
|
PetriNet.cpp |
235 | 3 years ago | tpede16 at aau | Add colortype to dot colors and fix writing of arc | 16.2 KB |
|
|
|
PetriNetBuilder.cpp |
235 | 3 years ago | tpede16 at aau | Add colortype to dot colors and fix writing of arc | 22.3 KB |
|
|
|
Reducer.cpp |
213.1.140 | 3 years ago | Peter G. Jensen | Merged in trunk | 65 KB |
|
|
|
ReducingSuccessorGenerator.cpp |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 11.6 KB |
|
|
|
STSolver.cpp |
213.1.144 | 3 years ago | Peter G. Jensen | removing unused glpk import from STSolver | 10 KB |
|
|
|
SuccessorGenerator.cpp |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 3.8 KB |
|
|