public RdpPattern EndAttDeriv (RdpPattern p)
		{
			RdpPattern m = endAtt [p] as RdpPattern;
			if (m != null)
				return m;

			m = p.EndAttDeriv (this);
			endAtt [p] = m;
			return m;
		}