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

Add delimiters around data spaces incoming automatically #147

Open riftEmber opened 3 years ago

riftEmber commented 3 years ago

Can be accomplished by a regex which finds potential identifiers, then delimits them if they match a list of data spaces

riftEmber commented 3 years ago

Working on branch delimit-data-spaces

riftEmber commented 2 years ago

Done and merged. New assumptions when using Computation API: