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; }