public Pair<CharacterRange,NFAState> next()
		{
			if(valueIterator == null)
			{
				if(!keyIterator.hasNext()) throw new NoSuchElementException();
				presentKey = keyIterator.next();
				valueIterator = table.get(presentKey).iterator();
			}
			if(!valueIterator.hasNext()) throw new NoSuchElementException();
			Pair<CharacterRange,NFAState> rv = new Pair<CharacterRange,NFAState>(presentKey,valueIterator.next());
			if(!valueIterator.hasNext()) valueIterator = null;
			return rv;
		}