Searched refs:Get_PSL_NFA (Results 1 – 14 of 14) sorted by relevance
300 Mark_PSL_NFA (Get_PSL_NFA (N, F));
534 Disp_PSL_NFA (Get_PSL_NFA (N, F), Sub_Indent);
2364 Disp_PSL_NFA (Get_PSL_NFA (Stmt));3958 Disp_PSL_NFA (Get_PSL_NFA (Stmt));3974 Disp_PSL_NFA (Get_PSL_NFA (Stmt));3990 Disp_PSL_NFA (Get_PSL_NFA (Stmt));4005 Disp_PSL_NFA (Get_PSL_NFA (Stmt));
600 function Get_PSL_NFA subprogspec
7459 function Get_PSL_NFA subprogram7465 return Get_PSL_NFA (N);7469 end Get_PSL_NFA;
1715 Fa : constant PSL_NFA := Get_PSL_NFA (Stmt);
9210 function Get_PSL_NFA (N : Iir) return PSL_NFA; subprogspec
7245 function Get_PSL_NFA (N : Iir) return PSL_NFA is subprogram7251 end Get_PSL_NFA;
446 NFA := Get_PSL_NFA (E.Stmt);522 NFA : constant PSL_NFA := Get_PSL_NFA (Ent.Stmt);
1522 Vhdl.Prints.Disp_PSL_NFA (Get_PSL_NFA (E.Stmt));
493 Get_PSL_NFA = libghdl.vhdl__nodes_meta__get_psl_nfa variable
2827 Get_PSL_NFA = libghdl.vhdl__nodes__get_psl_nfa variable
3274 Synth_Psl_NFA (Syn_Inst, Get_PSL_NFA (Stmt), Nbr_States, States, Stmt);3283 NFA : constant PSL_NFA := Get_PSL_NFA (Stmt);3383 NFA : constant PSL_NFA := Get_PSL_NFA (Stmt);
603 NFA := Get_PSL_NFA (Stmt);