Rename class Integer::Container

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

Class Integer::Container should be renamed to reflect its new role.

The new name needs to be selected.

Some candidates: ReducedProduct Product, DomainProduct

JanDupal commented 11 years ago

Renamed to Canal::Product::Vector in 338f43f6aaa157cb2f1606232fe01067f7faf06d.