SMT_RDF_NOPARAM
return SMT_RDF_NOPARAM;
return SMT_RDF_NOPARAM;
return SMT_RDF_NOPARAM;
return SMT_RDF_NOPARAM;
return (pa->p_type & 0xff00) ? SMT_RDF_NOPARAM :
pcon->pc_err = SMT_RDF_NOPARAM ;
pcon->pc_err = SMT_RDF_NOPARAM ;
pcon->pc_err = SMT_RDF_NOPARAM ;
pcon->pc_err = SMT_RDF_NOPARAM ;
pcon->pc_err = (para & 0xff00) ? SMT_RDF_NOPARAM :