search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Clean up MultiObjectiveAlgorithm #13

Closed mhyee closed 11 years ago

mhyee commented 11 years ago

MultiObjectiveAlgorithm is an abstract class that GuidedImprovementAlgorithm and IncrementalGuidedImprovementAlgorithm inherit from.

However, MOA makes a lot of assumptions and has some implemented methods. These methods might be better if they were moved to GIA, as some of them don't apply to IGIA.