-
Andrew Heather authored
Properties stored in state dictionary: - minimum value: min<identifier> - position of minimum value: min<identifier>_position - processor ID of minimum value: min<identifier>_processor - maximum value: max<identifier> - position of maximum value: max<identifier>_position - processor ID of maximum value: max<identifier>_processor
137668ba