Revision 4 as of 2016-04-26 10:05:36

Clear message

Generalized label reduction

This class implements the generalized label reduction described in the following paper:

exact(before_shrinking, before_merging, method=ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT, system_order=RANDOM, random_seed=-1)

Set to any other value to use a local random number generator with the given seed.