Rename startEncoding function
authorbdemsky <bdemsky@uci.edu>
Thu, 31 Aug 2017 04:16:56 +0000 (21:16 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 31 Aug 2017 04:17:19 +0000 (21:17 -0700)
commita255c76241d54ef340c21c25a8c640e88988d204
tree5fdddfe92bad556ceae0c65dceef5e357438ddd7
parentd7f3a82baf741d8b527d5cea0426c16e0ebc3348
Rename startEncoding function
13 files changed:
src/Test/buildconstraintstest.cc
src/Test/elemequalsattest.cc
src/Test/elemequalunsattest.cc
src/Test/funcencodingtest.cc
src/Test/logicopstest.cc
src/Test/ltelemconsttest.cc
src/Test/ordergraphtest.cc
src/Test/ordertest.cc
src/Test/tablefuncencodetest.cc
src/Test/tablepredicencodetest.cc
src/Tuner/autotuner.cc
src/csolver.cc
src/csolver.h