1310
Comment:
|
0
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
<<TableOfContents>> == shrink_bisimulation == {{{ shrink_bisimulation(max_states=-1, max_states_before_merge=-1, greedy=false, threshold=-1, group_by_h=false, at_limit=RETURN) }}} * ''max_states'' (int): maximum abstraction size * ''max_states_before_merge'' (int): maximum abstraction size for factors of synchronized product * ''greedy'' (bool): use greedy bisimulation * ''threshold'' (int): TODO: document * ''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, shrink_f=HIGH, shrink_h=LOW) }}} * ''max_states'' (int): maximum abstraction size * ''max_states_before_merge'' (int): maximum abstraction size for factors of synchronized product * ''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) }}} * ''max_states'' (int): maximum abstraction size * ''max_states_before_merge'' (int): maximum abstraction size for factors of synchronized product /* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */ /* cmdline: txt2tags */ |