Rename some functions and cleanup
authorbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 19:44:01 +0000 (12:44 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 19:47:37 +0000 (12:47 -0700)
commit26d02c400dd077f6aa1cc3aecbd021d4b139ca9c
treef8a65435312cddd17e223217600a7f87101f7877
parent77f9b4609b853b25543629ff3aba5cbe755e6e96
Rename some functions and cleanup
18 files changed:
src/AST/boolean.c
src/AST/element.c
src/AST/function.c
src/AST/order.c
src/AST/predicate.c
src/AST/table.c
src/Backend/cnfexpr.c
src/Backend/constraint.c
src/Collections/array.h
src/Collections/vector.h
src/Encoders/elementencoding.h
src/Encoders/naiveencoder.c
src/Encoders/naiveencoder.h
src/Encoders/orderencoding.c
src/Encoders/orderencoding.h
src/Test/buildconstraints.c
src/csolver.c
src/csolver.h