Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cascading transition paths #12

Merged
merged 4 commits into from
Aug 26, 2023
Merged

Conversation

pavly-gerges
Copy link
Member

This PR introduces the following:

  • CascadedTransition: An adaptation of the TransitionPath to accommodate states by cascading them in a queue.
  • ConcurrentCascadedTransition: A thread-safe implementation of the CascadedTransition.
  • NextStateAssigner: Make it public and refactored to core.state package.
  • Transition.java: added boolean hasNextState() to test the condition without dispatching Transition#getNextState(); because it might affect the implementation in the case of CascadedTransition.
  • automata4j-examples: added TestCascadeTransition.

@pavly-gerges pavly-gerges added enhancement New feature or request core Core API related stuff automata4j-examples Examples related PRs labels Aug 26, 2023
@pavly-gerges pavly-gerges merged commit 2fbd525 into master Aug 26, 2023
5 of 6 checks passed
@pavly-gerges pavly-gerges deleted the cascading-transition-paths branch August 26, 2023 08:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automata4j-examples Examples related PRs core Core API related stuff enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant