refactored code
authorPaul Meng <212461047>
Sat, 23 Jul 2016 20:35:51 +0000 (16:35 -0400)
committerPaul Meng <212461047>
Sat, 23 Jul 2016 20:35:51 +0000 (16:35 -0400)
commit509274ae2bc7ae9e41a803d94fce289316b8558e
treef5240aea5d2df14a7fd2fac0c1a8b8754ac70df7
parentbc5bb57388559d454666024a953c3502c4ba4520
refactored code
src/theory/sets/theory_sets_rels.cpp
src/theory/sets/theory_sets_rels.h