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);
}