Binary encoding for ElementSet and table-based ElementFunction
authorHamed <hamed.gorjiara@gmail.com>
Tue, 27 Jun 2017 02:16:29 +0000 (19:16 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Tue, 27 Jun 2017 02:16:29 +0000 (19:16 -0700)
commit73415104c9001d8154b226d320c5963d1364b858
treed9715813a87b44a7c0afc3a087baf2c9440be956
parent45e54be3537667af99238acaf9239a811c7db49e
Binary encoding for ElementSet and table-based ElementFunction
16 files changed:
src/AST/element.c
src/AST/element.h
src/AST/set.c
src/AST/set.h
src/AST/table.c
src/AST/table.h
src/Backend/constraint.c
src/Backend/constraint.h
src/Encoders/elementencoding.c
src/Encoders/elementencoding.h
src/Encoders/naiveencoder.c
src/Encoders/naiveencoder.h
src/classlist.h
src/common.h
src/csolver.c
src/csolver.h