public void makeFactTop(int[] fact) { Arrays.fill(fact, TOP);
public void makeFactTop(LockSet fact) { fact.clear(); fact.setDefaultLockCount(LockSet.TOP);
	public void makeFactTop(int[] fact) {		Arrays.fill(fact, TOP);	}