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

Fix Execution Schedules for Dynamically-added statements #154

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

We have the following statement types which are added dynamically (not by the user of spf-ie):

Function header: void adjustExecutionSchedules() It will be called in finalize(). It MUST be called before padExecutionSchedules() so that the Compose() calls can generate correct Relations. Due to this, padExecutionSchedules() is being moved to finalize() where it will be called after adjustExecutionSchedules().