Implementation of Union
Change-Id: I9049c89f7e3cd84cab1b4080af049f6042be9fb1
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/236
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ildar Absalyamov <ildar.absalyamov@gmail.com>
Reviewed-by: Preston Carman <ecarm002@ucr.edu>
11 files changed