2 commits

Author	SHA1	Message	Date
nojhan	99d1a08e7c	repairer dispatcher may be used with an unordered vector of indexes, thus we use a vector and not a set	2011-10-14 10:34:33 +02:00
nojhan	e4399683dd	Repairer operator more generic than Bounder, example with a Repairer that rounds values, a Dispatcher to call several Repairer on partial solutions	2011-09-14 16:30:45 +02:00