Switch array struct to class
authorbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 04:36:05 +0000 (21:36 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 04:36:05 +0000 (21:36 -0700)
commit918b2bcc43064f8557738e13c2fcc98b96736836
tree5bb1871402526a792b35e19d6b7ea911527c2050
parent20e6db04571bc55cd70de6044199d3c742e00b73
Switch array struct to class
18 files changed:
src/AST/boolean.cc
src/AST/boolean.h
src/AST/element.cc
src/AST/element.h
src/AST/function.cc
src/AST/function.h
src/AST/predicate.cc
src/AST/predicate.h
src/AST/rewriter.cc
src/AST/table.cc
src/AST/table.h
src/ASTAnalyses/polarityassignment.cc
src/Backend/satencoder.cc
src/Backend/satfuncopencoder.cc
src/Backend/satfunctableencoder.cc
src/Collections/array.h
src/Collections/structs.h
src/Encoders/naiveencoder.cc