public RdpPattern MixedTextDeriv (RdpPattern p) { RdpPattern m = mixedText [p] as RdpPattern; if (m != null) return m; m = p.MixedTextDeriv (this); mixedText [p] = m; return m; }
public RdpPattern MixedTextDeriv (RdpPattern p) { RdpPattern m = mixedText [p] as RdpPattern; if (m != null) return m; m = p.MixedTextDeriv (this); mixedText [p] = m; return m; }