|
Size: 1346
Comment:
|
Size: 2150
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| shrink_bisimulation(max_states=-1, max_states_before_merge=-1, greedy=false, threshold=-1, group_by_h=false, at_limit=RETURN) | shrink_bisimulation(max_states=-1, max_states_before_merge=-1, threshold=-1, greedy=false, group_by_h=false, at_limit=RETURN) |
| Line 9: | Line 9: |
| * ''max_states'' (int): maximum transition system size * ''max_states_before_merge'' (int): maximum transition system size for factors of synchronized product |
* ''max_states'' (int): maximum transition system size allowed at any time point. * ''max_states_before_merge'' (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product. * ''threshold'' (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system. |
| Line 12: | Line 13: |
| * ''threshold'' (int): TODO: document | |
| Line 17: | Line 17: |
| shrink_fh(max_states=-1, max_states_before_merge=-1, shrink_f=HIGH, shrink_h=LOW) | shrink_fh(max_states=-1, max_states_before_merge=-1, threshold=-1, shrink_f=HIGH, shrink_h=LOW) |
| Line 21: | Line 21: |
| * ''max_states'' (int): maximum transition system size * ''max_states_before_merge'' (int): maximum transition system size for factors of synchronized product |
* ''max_states'' (int): maximum transition system size allowed at any time point. * ''max_states_before_merge'' (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product. * ''threshold'' (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system. |
| Line 27: | Line 28: |
| shrink_random(max_states=-1, max_states_before_merge=-1) | shrink_random(max_states=-1, max_states_before_merge=-1, threshold=-1) |
| Line 31: | Line 32: |
| * ''max_states'' (int): maximum transition system size * ''max_states_before_merge'' (int): maximum transition system size for factors of synchronized product |
* ''max_states'' (int): maximum transition system size allowed at any time point. * ''max_states_before_merge'' (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product. * ''threshold'' (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system. |
Contents
shrink_bisimulation
shrink_bisimulation(max_states=-1, max_states_before_merge=-1, threshold=-1, greedy=false, group_by_h=false, at_limit=RETURN)
max_states (int): maximum transition system size allowed at any time point.
max_states_before_merge (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product.
threshold (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system.
greedy (bool): use greedy bisimulation
group_by_h (bool): TODO: document
at_limit ({RETURN, USE_UP}): what to do when the size limit is hit
f-Preserving
shrink_fh(max_states=-1, max_states_before_merge=-1, threshold=-1, shrink_f=HIGH, shrink_h=LOW)
max_states (int): maximum transition system size allowed at any time point.
max_states_before_merge (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product.
threshold (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system.
shrink_f ({HIGH, LOW}): prefer shrinking states with high or low f values
shrink_h ({HIGH, LOW}): prefer shrinking states with high or low h values
Random
shrink_random(max_states=-1, max_states_before_merge=-1, threshold=-1)
max_states (int): maximum transition system size allowed at any time point.
max_states_before_merge (int): maximum transition system size allowed for two transition systems before being merged to form the synchronized product.
threshold (int): If a transition system, before being merged, surpasses this soft transition system size limit, the shrink strategy is called to possibly shrink the transition system.