TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Make StepCounter thread safe #33

Open mhyee opened 11 years ago

mhyee commented 11 years ago

The StepCounter class is used to keep statistics on how many Pareto points there are, and how many "steps" were required to reach the Pareto front.

This class is not thread safe. It also assumes Pareto points are found sequentially.

We currently don't use this class for stats, but if we do, it's useless for any of the multithreaded code.