Revision 6 as of 2016-05-12 10:40:27

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)