public void disambiguateDFA(NFA dfa)
	throws CopperException
	{
		if(logger.isLoggable(CompilerLogMessageSort.TICK)) logger.logTick(MasterController.DOT_WINDOW,".");
		for(NFAState state : dfa.getStates())
		{
			HashSet<Terminal> accF = new HashSet<Terminal>();
			for(Symbol s : state.getAccepts()) accF.add(new Terminal(s));
			PrecedenceRelationGraph accFG = grammar.getPrecedenceRelationsGraph().makeCut(accF);
			HashSet<Terminal> rej = accFG.partitionAcceptSet(logger,"static precedence disambiguator");
			for(Iterator<Symbol> it = state.getAccepts().iterator();it.hasNext();)
			{
				if(rej.contains(new Terminal(it.next())))
				{
					it.remove();
				}
			}
		}
	}