More name changes
authorbdemsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 22:00:17 +0000 (15:00 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 22:00:17 +0000 (15:00 -0700)
commitbb49b371775e60638e71a99febce2bc4a21e075e
treeb672424b41fcce8599630ff1f3f9c8386315ac43
parentfaac5894230d569848367149a130486b965eb329
More name changes
src/AST/astnode.h
src/AST/boolean.h
src/AST/function.h
src/AST/ops.h
src/AST/predicate.h
src/Backend/satfuncopencoder.cc
src/Backend/satfunctableencoder.cc
src/Test/tablefuncencodetest.cc
src/Test/tablepredicencodetest.cc
src/csolver.cc