Issue 424: Avoid storing variables whose values are implied

Title	Avoid storing variables whose values are implied
Priority	feature	Status	unread
Superseder		Nosy List	florian, malte
Assigned To		Keywords
Optional summary

Created on 2014-02-23.00:21:56 by florian, last changed by florian.

msg2999 (view)

Author: florian

Date: 2014-02-23.00:21:56

We could save additional memory per state if values that are implied by others
through mutex reasoning are not stored permanently in the state.
In this issue, this does not mean the values of derived variables, because there
already is an issue for that (issue423).

History
Date	User	Action	Args
2014-02-23 00:21:56	florian	create

Issue424