More refactoring
authorbdemsky <bdemsky@uci.edu>
Fri, 8 Sep 2017 03:54:20 +0000 (20:54 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 8 Sep 2017 03:54:20 +0000 (20:54 -0700)
commit99d1bc0007e1ec7899cc6e60c98bbfb337c94731
treede26135bd6d858f0f8a2e13b6937e7379d2a8842
parent565c3f059645ed4d4a61ae4d24cdb0393f29433b
More refactoring
src/AST/element.cc
src/AST/element.h
src/Backend/satfuncopencoder.cc
src/Encoders/elementencoding.cc
src/Translator/sattranslator.cc
src/csolver.cc