Home
last modified time | relevance | path

Searched refs:chkxp (Results 1 – 10 of 10) sorted by relevance

/dports/cad/gplcver/gplcver-2.12a.src/src/
H A Dv_fx3.c6356 chk_spterm(tcp->chkxp, "second event", s1, NON_IO); in chk_1tchk()
6520 if (otcp->startxp != NULL) ntcp->chkxp = __copy_expr(otcp->startxp); in bld_sup_of_suphld()
6525 if (otcp->chkxp != NULL) ntcp->startxp = __copy_expr(otcp->chkxp); in bld_sup_of_suphld()
6557 if (otcp->startxp != NULL) ntcp->chkxp = __copy_expr(otcp->startxp); in bld_rec_of_recrem()
6562 if (otcp->chkxp != NULL) ntcp->startxp = __copy_expr(otcp->chkxp); in bld_rec_of_recrem()
6711 __free_xtree(tcp->chkxp); in __free_tchks()
H A Dv_prp2.c5215 tcp->chkxp = __copy_expr(tcp->startxp); in prep_tchks()
5227 else __xtract_wirng(tcp->chkxp, &chknp, &chki1, &chki2); in prep_tchks()
7123 if (tcp->chkxp != NULL) tcp->chkxp = mv1_expr_totab(tcp->chkxp); in cmp_xform_specify()
H A Dv_src3.c2395 tcp->chkxp = xp; in rd_tchk_part()
2442 tcp->chkxp = NULL; in __init_tchk()
2894 __free_xtree(tmptchk.chkxp); in rd_nochg_tchk()
H A Dv_fx.c7597 if (otcp->chkxp != NULL) ntcp->chkxp = __copy_expr(otcp->chkxp); in copy1_tchk()
H A Dv.h2624 struct expr_t *chkxp; /* event (data - check) expr */ member
H A Dv_vpi.c4643 if (tcp->chkxp == NULL) return(NULL); in bld_1to1_exprclass_handle()
4644 ihref = __mk_exprclass_handle(tcp->chkxp, hp->hin_itp, NULL); in bld_1to1_exprclass_handle()
H A Dv_cnv.c5107 dmp_tchk_selector(f, tcp->chkedge, tcp->chkxp, tcp->chkcondx); in dmp_tchks()
H A Dv_sdf.c4055 __xtract_wirng(tcp->chkxp, &np, &tci1, &tci2); in bld_match_tchk()
H A Dv_sim.c5095 __adds(__msgexpr_tostr(s1, tcp->chkxp)); in bld_tchk_srcdump()
H A Dv_vpi2.c1404 if (termexpr_matches(tcp->chkxp, np, ndx)) in bld_net_tchkterms()