New approach for Total Order
authorHamed <hamed.gorjiara@gmail.com>
Sun, 2 Jul 2017 00:44:36 +0000 (17:44 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Sun, 2 Jul 2017 00:44:36 +0000 (17:44 -0700)
commit8642947cea83f16f02d0ff371cec5bb1a0163ed4
treea583df2b772f862eb59977db0c67d0af48296658
parent7e9aff902b621b79bfbcaa874cc9adb6549ca720
New approach for Total Order
src/AST/boolean.c
src/Backend/orderpair.c [new file with mode: 0644]
src/Backend/orderpair.h [new file with mode: 0644]
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Collections/structs.c
src/Collections/structs.h
src/classlist.h