Steven Hardy c540293cfe map_replace allow noop colliding replacements ... We should allow the case where the keys collide, but the replacement is the same as the current key (e.g a noop). This is useful when you want to do a map_replace based on a user parameter, then the default can be to do a noop replace but the user parameter may also be any other (non colliding) value. Change-Id: I8cc5761c219616b4f8c18b3f44c4bf864c5457f1 Closes-Bug: #1652034		2016-12-22 12:35:04 +00:00
..
__init__.py	Move HOT template code to its own module	2014-03-06 10:05:07 -05:00
functions.py	map_replace allow noop colliding replacements	2016-12-22 12:35:04 +00:00
parameters.py	Add a modulo core constraint	2016-10-11 16:55:11 +02:00
template.py	Add filter function	2016-11-04 10:46:12 +01:00