search

chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Add constrained invariants #244

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Overall design that was discussed is shown in the attached images.

1) Make an abstract generic TempConstrainedInv clas that extends BinInv.
2) Make an IInequality interface for greater and less than inequalities
3) Have TempConstrainedInv store a composite BinInv and an IInequality as 
fields.
4) Write tests

Original issue reported on code.google.com by kevin.a....@gmail.com on 18 Apr 2012 at 3:38

Attachments:

GoogleCodeExporter commented 9 years ago 
Duplicate issue with Issue243

Original comment by kevin.a....@gmail.com on 18 Apr 2012 at 4:00