public pointerCounter copy()
{
pointerCounter pt = new pointerCounter(this);
pt.count = this.count;
return(pt);
}
public ComparisonTable(pointerCounter congruentPointerCounter, int firstScopeId, int secondScopeId)
{
CongruentPointerCounter = congruentPointerCounter;
FirstScopeId = firstScopeId;
SecondScopeId = secondScopeId;
}