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	Martin Sjölund	"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();
}}}"	task	accepted	high	1.9.0	OMEdit