Same subterm (modulo alpha-renaming) one state (38a9fa89) · Commits · Felix Stutz / async-mpst-gen-choice · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

async-mpst-gen-choice
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

38a9fa89

Commit 38a9fa89 authored 1 year ago by Felix Stutz

Downloads
- Patches
- Plain Diff

Same subterm (modulo alpha-renaming) one state

parent 8a92dad4

No related branches found

No related tags found

1 merge request!1Subset projection

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

datatypes/GlobalTypeParsed.py 33 additions, 0 deletions

datatypes/GlobalTypeParsed.py
datatypes/MessageExchange.py 3 additions, 0 deletions

datatypes/MessageExchange.py
datatypes/subset_projection/GlobalTypeFSM.py 24 additions, 21 deletions

datatypes/subset_projection/GlobalTypeFSM.py
datatypes/subset_projection/ProjectionByErasure.py 1 addition, 1 deletion

datatypes/subset_projection/ProjectionByErasure.py
evaluation_functionality/EvalSubsetProjection.py 4 additions, 0 deletions

evaluation_functionality/EvalSubsetProjection.py
global_types/types_for_tests/same_subterm.gt 13 additions, 0 deletions

global_types/types_for_tests/same_subterm.gt
global_types/types_for_tests/same_subterm_2.gt 5 additions, 0 deletions

global_types/types_for_tests/same_subterm_2.gt
global_types/types_for_tests/state_explosion_3.gt 7 additions, 0 deletions

global_types/types_for_tests/state_explosion_3.gt
tests/test_global_type_as_fsm.py 14 additions, 0 deletions

tests/test_global_type_as_fsm.py
tests/test_proj_subset.py 7 additions, 1 deletion

tests/test_proj_subset.py

with 111 additions and 23 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment