Contents
This page describes the current single 'option' for label reduction.
Generalized label reduction
This class implements the 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.