remove redundant domains
authorbdemsky <bdemsky@uci.edu>
Mon, 23 Jul 2018 23:42:41 +0000 (16:42 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 23 Jul 2018 23:42:41 +0000 (16:42 -0700)
commite8931de7f86b261c61d8b39a33df4c8bc54dc928
tree058146e248cfc28b72ba4d50ce0e7958e8a65c5a
parent666e594b6eb2aee28deaa02802141639569dfc89
remove redundant domains
28 files changed:
src/AST/function.cc
src/AST/function.h
src/AST/predicate.cc
src/AST/predicate.h
src/AST/table.cc
src/AST/table.h
src/ASTTransform/elementopt.cc
src/ASTTransform/elementopt.h
src/ASTTransform/integerencoding.cc
src/Backend/satelemencoder.cc
src/Backend/satfuncopencoder.cc
src/Backend/satfunctableencoder.cc
src/Serialize/deserializer.cc
src/Test/anyvaluetest.cc
src/Test/buildconstraintstest.cc
src/Test/buildsimple.cc
src/Test/ccsolvertest.c
src/Test/constraint.cc
src/Test/elemequalsattest.cc
src/Test/elemequalunsattest.cc
src/Test/funcencodingtest.cc
src/Test/ltelemconsttest.cc
src/Test/tablefuncencodetest.cc
src/Test/tablepredicencodetest.cc
src/ccsolver.cc
src/ccsolver.h
src/csolver.cc
src/csolver.h