public void addLayout(int statenum,Terminal layout,Terminal token)
	{
		if(!layouts.containsKey(statenum)) layouts.put(statenum,new Hashtable< Terminal,HashSet<Terminal> >());
		if(!layouts.get(statenum).containsKey(layout)) layouts.get(statenum).put(layout,new HashSet<Terminal>());
		layouts.get(statenum).get(layout).add(token);
		if(!layoutsPerTerminal.containsKey(statenum)) layoutsPerTerminal.put(statenum,new Hashtable< Terminal,HashSet<Terminal> >());
		if(!layoutsPerTerminal.get(statenum).containsKey(token)) layoutsPerTerminal.get(statenum).put(token,new HashSet<Terminal>());
		layoutsPerTerminal.get(statenum).get(token).add(layout);
	}