Add constrained invariants

[GoogleCodeExporter]

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

• Blocking: #241, #241

Attachments:

• 2012-04-17_14-08-48_190.jpg
• 2012-04-17_14-09-15_292.jpg

[GoogleCodeExporter]

Original comment by bestchai on 18 Apr 2012 at 6:03

[GoogleCodeExporter]

Original comment by bestchai on 18 Apr 2012 at 7:03

[GoogleCodeExporter]

Original comment by bestchai on 18 Apr 2012 at 7:03

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

Completed tests and other various changes for ConstrainedInvMiner. Please 
review code at revision bc07083664a5.

Original comment by kevin.a....@gmail.com on 14 May 2012 at 9:18

[GoogleCodeExporter]

Before I review the code, can you merge the two heads in Issue243 branch? That 
is, revisions bc07083664a5 and f3c0b1235628.

Original comment by bestchai on 14 May 2012 at 6:31

• Changed state: Started

[GoogleCodeExporter]

I believe I merged the heads correctly. Revision 44d739fe187e.

Original comment by kevin.a....@gmail.com on 14 May 2012 at 6:52

[GoogleCodeExporter]

I've made a variety of smaller changes to your code, but overall it looks good. 
One important change that I've made is to have ConstrainedInvMiner no longer 
implement ITOInvariantMiner so that we are not as constrained by it. As well, 
I've made ConstrainedInvMiner much more state-full.

Merged issue branch into default with revision 4e2d018fe7b4.

Original comment by bestchai on 14 May 2012 at 10:11

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by bestchai on 9 Jan 2014 at 4:35

• Now blocking: #241, #241