private void selectNextTerminal()
	{
		int index = t.indexOf(currentTerminal);
		if(index==t.size()-1)
		{
			pruned = true;
			currentTerminal = null;
			currentTriangle = null;
			currentEdge = null;
			updateCircle();
		}
		else
		{
			currentTerminal = t.get(index+1);
			pruneCurrentTerminal();
		}
	}