Try to fix encapsulation
authorbdemsky <bdemsky@uci.edu>
Sun, 27 Aug 2017 01:06:04 +0000 (18:06 -0700)
committerbdemsky <bdemsky@uci.edu>
Sun, 27 Aug 2017 01:06:04 +0000 (18:06 -0700)
commita0daa81a61273f51fdaad8a6d5aaf078387851bc
tree6ba267494461cf5bb1300c4a4c7fd9e8bd81b94d
parent1c230147d56620693852796e1f23ad4c31a55fd5
Try to fix encapsulation
16 files changed:
src/AST/boolean.cc
src/AST/rewriter.cc
src/AST/rewriter.h
src/ASTAnalyses/orderedge.h
src/ASTAnalyses/orderencoder.cc
src/ASTAnalyses/ordergraph.h
src/ASTAnalyses/ordernode.h
src/ASTAnalyses/polarityassignment.cc
src/ASTTransform/integerencoding.cc
src/ASTTransform/orderdecompose.cc
src/Backend/satencoder.cc
src/Backend/satorderencoder.cc
src/Backend/sattranslator.cc
src/Encoders/naiveencoder.cc
src/csolver.cc
src/csolver.h