forked from drayside/kodkod
-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Description
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.
Reactions are currently unavailable