Skip to content

📦 v2.3.4

Choose a tag to compare

View all tags
@PioBeat PioBeat released this 22 Nov 18:27
· 54 commits to main since this release
v2.3.4
914e587

Feature

  • Bigraph Model Checking Strategy Extensions and API cleanup
    • Added BFS and DFS first-match strategies at rule level (take first occurrence only instead of all), available now in BigraphModelChecker
    • Related Strategy Classes: DFSFirstMatchStrategy, BFSFirstMatchStrategy, BreadthFirstStrategy, DepthFirstStrategy, RandomAgentModelCheckingStrategy
    • Introduced matchFirst() and matchAll() in PureBigraphMatcher; deprecated match().
  • Improved documentation for BigraphModelChecker and ReactiveSystemListener.
  • License report generation updated.
Assets 2
Loading