Adding support for ElementFunction
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 25 Jan 2019 20:13:33 +0000 (12:13 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 25 Jan 2019 20:13:33 +0000 (12:13 -0800)
commit7c9674de2cb89d53417b40756b100292198c039e
tree811ed55113cace94c83defbe484464445ccdcf49
parent3896ad686a910868d7bf2988cd83a4fe3da700b2
Adding support for ElementFunction
src/AlloyEnc/alloyenc.cc
src/AlloyEnc/alloyenc.h
src/AlloyEnc/signature.cc
src/AlloyEnc/signature.h