Searched refs:Get_PSL_Nbr_States (Results 1 – 7 of 7) sorted by relevance
342 New_Index_Lit (Unsigned_64 (Get_PSL_Nbr_States (Stmt))));588 Unsigned_64 (Get_PSL_Nbr_States (Stmt)))),646 pragma Assert (S_Num = Get_PSL_Nbr_States (Stmt) - 1);693 Unsigned_64 (Get_PSL_Nbr_States (Stmt)))),1863 Unsigned_64 (Get_PSL_Nbr_States (Stmt)))),
477 pragma Assert (S_Num = Get_PSL_Nbr_States (E.Stmt) - 1);560 (0 .. Get_PSL_Nbr_States (E.Stmt) - 1 => False);
2830 Get_PSL_Nbr_States = libghdl.vhdl__nodes__get_psl_nbr_states variable
9214 function Get_PSL_Nbr_States (N : Iir) return Int32; subprogspec
7261 function Get_PSL_Nbr_States (N : Iir) return Int32 is subprogram7267 end Get_PSL_Nbr_States;
7337 return Get_PSL_Nbr_States (N);
3248 Nbr_States : constant Int32 := Get_PSL_Nbr_States (Stmt);