Contents

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:

Silvan Sievers, Martin Wehrle and Malte Helmert.

Generalized Label Reduction for Merge-and-Shrink Heuristics.

In*Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014)*, pp. 2358-2366. AAAI Press 2014.

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

*before_shrinking*(bool): apply label reduction before shrinking*before_merging*(bool): apply label reduction before merging*method*({TWO_TRANSITION_SYSTEMS, ALL_TRANSITION_SYSTEMS, ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT}): Label reduction method. See the AAAI14 paper by Sievers et al. for explanation of the default label reduction method and the 'combinable relation' .Also note that you must set at least one of the options reduce_labels_before_shrinking or reduce_labels_before_merging in order to use the chosen label reduction configuration.`TWO_TRANSITION_SYSTEMS`: compute the 'combinable relation' only for the two transition systems being merged next`ALL_TRANSITION_SYSTEMS`: compute the 'combinable relation' for labels once for every transition system and reduce labels`ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT`: keep computing the 'combinable relation' for labels iteratively for all transition systems until no more labels can be reduced

*system_order*({REGULAR, REVERSE, RANDOM}): Order of transition systems for the label reduction methods that iterate over the set of all transition systems. Only useful for the choices all_transition_systems and all_transition_systems_with_fixpoint for the option label_reduction_method.`REGULAR`: transition systems are considered in the FD given order for atomic transition systems and in the order of their creation for composite transition system.`REVERSE`: inverse of REGULAR`RANDOM`: random order

*random_seed*(int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.