Get rid of silly macros
authorbdemsky <bdemsky@uci.edu>
Tue, 29 Aug 2017 00:00:46 +0000 (17:00 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 29 Aug 2017 00:00:46 +0000 (17:00 -0700)
commitb03787cd7584eea5b44ae5303576295e52b01289
tree1b355ee9e848dd0cf50186067e7e4815f71a222b
parent75bc0b8273ba37270136fae2b9340f15c532231a
Get rid of silly macros
12 files changed:
src/AST/boolean.cc
src/AST/boolean.h
src/AST/element.cc
src/AST/element.h
src/AST/function.h
src/AST/predicate.h
src/ASTAnalyses/polarityassignment.cc
src/Backend/satelemencoder.cc
src/Backend/satencoder.cc
src/Backend/satfunctableencoder.cc
src/Encoders/naiveencoder.cc
src/csolver.cc