floodlight/loxigen — pull request #295 by andi-bigswitch (2014-07-01 04:35:06+00:00)
Title: java/HashValue: add+subtract, remove combineWithValue

Reviewer: @vaterlaus @rlane

The HashValue types gain arithmetic add and subtract operations. Also
removes the obsolete combineWithValue operation that had weird/broken
semantics.