More fixes
authorbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 00:05:48 +0000 (17:05 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 00:05:48 +0000 (17:05 -0700)
commit74263c61d7ad3019320724b441c5e6a2a66b2f71
tree956c8f5160bd288df73f325daab8e5a02f746729
parent4216901871798182a3574865d6aa4f3ff3130a54
More fixes
src/AST/element.cc
src/Backend/constraint.cc
src/Backend/inc_solver.h
src/Backend/satfunctableencoder.cc
src/Backend/satorderencoder.cc
src/Encoders/orderencoder.cc
src/Test/logicopstest.cc
src/Test/ordergraphtest.cc
src/Test/tablefuncencodetest.cc
src/Test/tablepredicencodetest.cc
src/csolver.cc