tree f973c11a31b638be4a63581f79ae2a48358655f7
parent 38dea13e99ed602be3e4b9fa691cca55c4375270
author kereno <kereno@gmail.com> 1427216137 -0700
committer Ian Maxon <imaxon@uci.edu> 1428365277 -0700

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