breaking functionencoding to different files
authorHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 02:19:26 +0000 (19:19 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 02:19:26 +0000 (19:19 -0700)
commit77683dd2de7fd732d855c5d190a46c26ba5e5db4
treeb993526d4f10ee2aef6af7cf636d557384ece99a
parentbb1e3e7741fe70469395ccc223364deef16c3f8e
breaking functionencoding to different files
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Backend/satfuncencoder.c [deleted file]
src/Backend/satfuncencoder.h [deleted file]
src/Backend/satfuncopencoder.c [new file with mode: 0644]
src/Backend/satfuncopencoder.h [new file with mode: 0644]
src/Backend/satfunctableencoder.c [new file with mode: 0644]
src/Backend/satfunctableencoder.h [new file with mode: 0644]