id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1820	Add GUI boxes for dynamic state selection and index reduction	Martin Sjölund	Adeel Asghar	"By adding some new API calls, OMEdit will be able to display and change the DSS and index reduction algorithms before translation of a model:
{{{
method := getMatchingAlgorithm();
(flags,descriptions) := getAvailableMatchingAlgorithms();
method := getIndexReductionMethod();
(flags,descriptions) := getAvailableIndexReductionMethods();
}}}

Followed by OMEdit calling (before translation, optional if the flag did not change):
{{{
setMatchingAlgorithm(method);
setIndexReductionMethod(method);
}}}"	task	closed	high	1.9.0	OMEdit		fixed