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 PC reduction information #149

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

When we have S1->D->S2 and we remove S1, D as part of reducePCRelations(), we would like to store S1's information in S2. S2's node will have a line that says "Eaten: S1". For something like S1->D1->S2->D2->S3, when S1,D1 are removed S2 says "Eaten: S1". When S2, D2 are removed, S3 says "Eaten: S2, S1".