org.ggp.base.apps.research.Counter Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation
Show all versions of alloy-ggp-base Show documentation
A modified version of the GGP-Base library for Alloy.
The newest version!
package org.ggp.base.apps.research;
/**
* Counter is a convenience class for tracking a count.
*
* @author Sam Schreiber
*/
public final class Counter implements Comparable
{
private double totalValue = 0;
public void addValue(double value) {
totalValue += value;
}
public double getValue() {
return totalValue;
}
@Override
public String toString() {
return "" + ((int)(getValue() * 1000.0)/1000.0);
}
@Override
public int compareTo(Counter arg0) {
return (int)Math.signum(getValue() - arg0.getValue());
}
}