Revision 7 as of 2018-03-18 15:20:45

Clear message

This page describes the current single 'option' for label reduction.

Exact generalized label reduction

This class implements the exact 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)