search

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

Rename data spaces if written to #95

Open rvishnkr opened 3 years ago

rvishnkr commented 3 years ago

Create 2 functions to help with renaming data spaces if read to: isWrittenTo and replaceDataSpaceName