Switch hashtable/hashset
authorbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 07:38:04 +0000 (00:38 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 07:38:04 +0000 (00:38 -0700)
commit7997cc8a8bbee380ba714aa52362374f2aa68ef1
treefbc6758007d9aa785df62c57230162db659984a5
parent3e22517a4f2edbc67f6f575ac6379ba8ab0edb70
Switch hashtable/hashset
19 files changed:
src/AST/order.cc
src/AST/rewriter.cc
src/AST/table.cc
src/ASTAnalyses/orderencoder.cc
src/ASTAnalyses/ordergraph.cc
src/ASTAnalyses/ordernode.cc
src/ASTAnalyses/ordernode.h
src/ASTAnalyses/polarityassignment.cc
src/Backend/satencoder.cc
src/Backend/satfunctableencoder.cc
src/Backend/satorderencoder.cc
src/Collections/hashset.h
src/Collections/hashtable.h
src/Collections/structs.cc
src/Collections/structs.h
src/Encoders/naiveencoder.cc
src/classlist.h
src/csolver.cc
src/csolver.h