Contents
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 transition system size
max_states_before_merge (int): maximum transition system 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 transition system size
max_states_before_merge (int): maximum transition system 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 transition system size
max_states_before_merge (int): maximum transition system size for factors of synchronized product