BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Store type info for data spaces #109

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

We want to store the type info for our data spaces. This has a couple parts:

Aaron3154518 commented 3 years ago

Documentation for std::make_pair() if you need it: https://www.cplusplus.com/reference/utility/make_pair/

Aaron3154518 commented 3 years ago

We need to do this for Stmt as well (data space reads and writes).