/** Insert the method's description here. Creation date: (23.12.00 13:40:06) */
public void verify() {
counter.verify();
}
/** visitConceptFigure method comment. */
public void visitConceptCorrespondingFigure(AbstractConceptCorrespondingFigure f) {
counter.inc();
}
/** Insert the method's description here. Creation date: (23.12.00 13:38:05) */
public void setExpectedVisits(int cnt) {
counter.setExpected(cnt);
}