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

Remove non-looplevel statements #148

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

We would like to remove all statements not in a loop level. This will better expose loop levels.

Aaron3154518 commented 3 years ago

Do we want to keep parameters/active out values?