// TODO: Is tag really an int? public static Position Eligible(Pt pos, int tag) { return new Position(pos, tag); }
public static Position Ineligible(Pt pos) { return new Position(pos, -1); }
private Position(Pt pos, int tag) { Pos = pos; Tag = tag; }