Commits · 2adda9e08b0413d1a1fd4b871308a469bd55967f · PMC-SOG / sogMBT · GitLab

Snippets Groups Projects

Dec 26, 2024
- Merge branch 'develop' · 2adda9e0
  Jaime Arias authored 2 months ago
  
  2adda9e0
- fix: calcul1 function · 83a7d8c5
  Jaime Arias authored 2 months ago
  
  83a7d8c5
Dec 24, 2024
- refactor: remove unused argument in function · 378210ef
  Jaime Arias authored 2 months ago
  
  378210ef
- feat: save generated sog at the end of the pipeline · 2a46d2d5
  Jaime Arias authored 2 months ago
  
  2a46d2d5
- refactor: remove print · af00fae1
  Jaime Arias authored 2 months ago
  
  af00fae1
- fix: valid syntax in the export to graphviz · e238f3f8
  Jaime Arias authored 2 months ago
  
  e238f3f8
- refactor: remove TODOs · b62902d3
  Jaime Arias authored 2 months ago
  
  b62902d3
- refactor: rename functions following the paper · 66ce5a29
  Jaime Arias authored 2 months ago
  
  66ce5a29
- refactor: some refactorings · edcc0c0d
  Jaime Arias authored 2 months ago
  
  edcc0c0d
- refactor: remove unused variable · c63df5be
  Jaime Arias authored 2 months ago
  
  c63df5be
- refactor: define struct StackElt instead of a tuple · 80268576
  Jaime Arias authored 2 months ago
  
  80268576
- refactor: rename variable sw by current_trace · 8fa23e33
  Jaime Arias authored 2 months ago
  
  8fa23e33
- refactor: replace pair by struct in the petri_net_sog.hpp · 862d24b2
  Jaime Arias authored 2 months ago
  
  862d24b2
- docs: Accessible Epsilon · 24bc30d2
  Jaime Arias authored 2 months ago
  
  24bc30d2
- refactor: increment the number of edges each time we add a new state or a new predecessor edge · 66e01e2a
  Jaime Arias authored 2 months ago
  
  66e01e2a
- refactor: ExportGraphToDotFile · 9f086340
  Jaime Arias authored 2 months ago
  
  9f086340
- doc: add documentation for PrintGraph function · 26f6d9de
  Jaime Arias authored 2 months ago
  
  26f6d9de
- refactor: remove unused variable in PrintCompleteInformation · 0af13dbf
  Jaime Arias authored 2 months ago
  
  0af13dbf
- refactor: rename InsertState to AddState · 0ec84675
  Jaime Arias authored 2 months ago
  
  0ec84675
- refactor: ResetVisitedFlag · 73f16a1b
  Jaime Arias authored 2 months ago
  
  73f16a1b
- refactor: use struct instead of pair to define an Edge in the sog · 0d0d35b4
  Jaime Arias authored 2 months ago
  
  0d0d35b4
- refactor: rename GONodes by states · 4a6aed5f
  Jaime Arias authored 2 months ago
  
  4a6aed5f
- docs: add full documentation to aggregate.hpp · b870bc84
  Jaime Arias authored 2 months ago
  
  b870bc84
- docs: add CMakeList file to build html docs · 540baa59
  Jaime Arias authored 2 months ago
  
  540baa59
- feature: renaming types · 829a04e8
  Jaime Arias authored 2 months ago
  
  829a04e8
- refactor: remove some unused global variables · 8c39ab16
  Jaime Arias authored 2 months ago
  
  8c39ab16
- refactor: AbstractPaths function · 053508ff
  Jaime Arias authored 2 months ago
  
  053508ff
- refactor: ObservablePaths function · 95d21077
  Jaime Arias authored 2 months ago
  
  95d21077
- docs: add some comments to the ObservablePath funtion · 8ad803e8
  Jaime Arias authored 2 months ago
  
  8ad803e8
- refactor: use for-loop instead of while in the choisir function · 54f5ac96
  Jaime Arias authored 2 months ago
  
  54f5ac96
- refactor: set attributes to private · 27b5533a
  Jaime Arias authored 2 months ago
  
  27b5533a
- refactor: apply Google conventions · 03993c62
  Jaime Arias authored 2 months ago
  
  03993c62
- refactor: remove modular_sog files · b5f2eb40
  Jaime Arias authored 2 months ago
  
  b5f2eb40
- refactor: remove unused function from petri_net_sog.hpp · 74aafb1b
  Jaime Arias authored 2 months ago
  
  74aafb1b
- refactor: remove unused argument in function · c34b4c76
  Jaime Arias authored 2 months ago
  
  c34b4c76
- feat: save generated sog at the end of the pipeline · 47e9c3fd
  Jaime Arias authored 2 months ago
  
  47e9c3fd
- refactor: remove print · e8c4d60a
  Jaime Arias authored 2 months ago
  
  e8c4d60a
- fix: valid syntax in the export to graphviz · b2521341
  Jaime Arias authored 2 months ago
  
  b2521341
- refactor: remove TODOs · d1bc79c7
  Jaime Arias authored 2 months ago
  
  d1bc79c7
- refactor: rename functions following the paper · aa27d451
  Jaime Arias authored 2 months ago
  
  aa27d451