1. 30 Jul, 2019 1 commit
    • Harco Kuppens's avatar
      moved graphs models from fsm folder to its own folder · aa7f6e8a
      Harco Kuppens authored
      add the word Triggered to interfaces to make the name better eg.
       src/statemachine/interfaces/system/transitionmarkers/SystemActionTransition.java -> src/statemachine/interfaces/system/transitionmarkers/SystemActionTriggeredTransition.java
      aa7f6e8a
  2. 13 Mar, 2019 2 commits
    • Harco Kuppens's avatar
      remove initial location/state in graph/digraph · 49cafac0
      Harco Kuppens authored
          for undirected graphs : no direction, no trigger for transition
          for directed graphs (also known as unlabeled transitions systems) : no trigger for transition
          => so we cannot simulate and walk the model   => so initial state has no meaning!!
              see https://en.wikipedia.org/wiki/Transition_system
                    =>
          => models more meant as abstraction of automata to run generic algorithms on
           => eg. connected components, distance map, shortest path
      49cafac0
    • Harco Kuppens's avatar
      improved traversal algorithms · 993be39e
      Harco Kuppens authored
      add WCC using a generic grap class
      add generic
      
      add cast in base builder class to fix fluent interface -> only done in mealy and graph at the moment
      993be39e
  3. 11 Mar, 2019 1 commit
  4. 09 Mar, 2019 1 commit
  5. 07 Mar, 2019 3 commits
  6. 06 Mar, 2019 1 commit
  7. 28 Feb, 2019 1 commit
  8. 21 Feb, 2019 1 commit
    • Harco Kuppens's avatar
      added · 2ee498b6
      Harco Kuppens authored
        digraph,
        tarjan algorithm (recursive)
        digraph dfs traversal
      2ee498b6
  9. 01 Feb, 2019 2 commits
  10. 31 Jan, 2019 2 commits
  11. 30 Jan, 2019 1 commit
  12. 25 Jan, 2019 3 commits
  13. 23 Jan, 2019 3 commits
  14. 24 Dec, 2018 1 commit
  15. 18 Dec, 2018 1 commit
  16. 14 Dec, 2018 1 commit
  17. 13 Dec, 2018 1 commit
  18. 12 Dec, 2018 5 commits
  19. 27 Nov, 2018 1 commit
  20. 29 Aug, 2018 1 commit
  21. 04 Jul, 2018 3 commits
  22. 29 Jun, 2018 1 commit
  23. 28 Jun, 2018 3 commits