search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Specify the order of the objectives explicitly. #56

Closed cpkleynhans closed 10 years ago

cpkleynhans commented 10 years ago

Currently we just iterate over the sorted set. Now we will explicitly pass in the order the objectives should be iterated over to each partition.

Reviewers: @mhyee @AtulanZaman @joseph2625

mhyee commented 10 years ago

Just two nitpicks, but looks good otherwise.