Anzahlbedingungen in ConfigChecker brauchen vielleicht Anpassung

[jvoigtlaender]

Insbesondere sind nach der Liberalisierung in #16 folgende Bedingungen nicht mehr unbedingt so klar korrekt/passend/optimal:

sd-generate/src/Modelling/StateDiagram/Config.hs

Lines 239 to 246 in 7bec198

	| flows < fst startNodes + snd triggerNames + if preventEmptyTriggersFromStates then fst joinNodes else 0
	= Just "Your upper bound for trigger names is too high, relatively to the number of possibly named flows."
	| distinctTriggerNames && enforceOutgoingEdgesFromNormalAndHierarchical &&
	fst triggerNames < hierarchicalStates + if preventEmptyTriggersFromStates then normalStates - (if snd joinNodes > 0 then regions - regionsStates else 0) else 0
	= Just "Your lower bound for trigger names is too low, relatively to the number of states to have distinctly named leaving flows according to your settings."
	| distinctTriggerNames && preventEmptyTriggersFromStates &&
	fst triggerNames < flows - snd startNodes - snd shallowHistoryNodes - snd deepHistoryNodes - snd joinNodes - (if snd joinNodes > 0 then regions - regionsStates else 0) - (regions - 2 * (regionsStates - 1)) * snd forkNodes
	= Just "Your lower bound for trigger names is too low, relatively to the number of flows to be distinctly named according to your settings."