public class AggIDCounter extends Object
Constructor and Description |
---|
AggIDCounter(int size) |
Modifier and Type | Method and Description |
---|---|
AggIDCounter |
deepCopy() |
void |
div(AggIDCounter divider) |
void |
div(int divider) |
double |
get(int id) |
void |
incr(int id) |
void |
outputHeaderToWriter(PrintWriter writer,
String prefix) |
void |
outputToWriter(PrintWriter writer) |
void |
reset() |
double |
sum() |
String |
toString() |
public AggIDCounter deepCopy()
public double get(int id)
public void incr(int id)
public void reset()
public double sum()
public void div(int divider)
public void div(AggIDCounter divider)
public void outputToWriter(PrintWriter writer)
public void outputHeaderToWriter(PrintWriter writer, String prefix)
Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.