Revision 2 as of 2014-09-23 09:54:21

Clear message

shrink_bisimulation

shrink_bisimulation(max_states=-1, max_states_before_merge=-1, greedy=false, threshold=-1, group_by_h=false, at_limit=RETURN)

f-Preserving

shrink_fh(max_states=-1, max_states_before_merge=-1, shrink_f=HIGH, shrink_h=LOW)

Random

shrink_random(max_states=-1, max_states_before_merge=-1)