/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | g-sets.ads | 77 type Membership_Set is private; type 78 Nil : constant Membership_Set; 81 (S : Membership_Set; 90 (S : Membership_Set; 96 procedure Destroy (S : in out Membership_Set); 103 (S : Membership_Set; 109 function Is_Empty (S : Membership_Set) return Boolean; 112 function Present (S : Membership_Set) return Boolean; 115 procedure Reset (S : Membership_Set); 120 function Size (S : Membership_Set) return Natural; [all …]
|
H A D | g-sets.adb | 45 (S : Membership_Set; 56 function Create (Initial_Size : Positive) return Membership_Set is 58 return Membership_Set (Hashed_Set.Create (Initial_Size)); 65 procedure Delete (S : Membership_Set; Elem : Element_Type) is 84 procedure Destroy (S : in out Membership_Set) is 103 (S : Membership_Set; 114 function Is_Empty (S : Membership_Set) return Boolean is 123 function Iterate (S : Membership_Set) return Iterator is 145 function Present (S : Membership_Set) return Boolean is 154 procedure Reset (S : Membership_Set) is [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/ |
H A D | sets1.adb | 18 S : Membership_Set; 26 S : in out Membership_Set); 31 S : Membership_Set; 39 S : in out Membership_Set); 43 (S : Membership_Set; 93 S : Membership_Set; 119 S : in out Membership_Set) 159 S : Membership_Set; 201 S : in out Membership_Set) 222 (S : Membership_Set; [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | bindo-elaborators.adb | 176 Set : LGV_Sets.Membership_Set; 186 Set : LGV_Sets.Membership_Set; 204 Set : LGV_Sets.Membership_Set; 238 Set : LGV_Sets.Membership_Set; 310 Set : LGV_Sets.Membership_Set; 597 Elaborable_Vertices : LGV_Sets.Membership_Set; 600 Waiting_Vertices : LGV_Sets.Membership_Set; 895 Set : LGV_Sets.Membership_Set; 1000 Set : LGV_Sets.Membership_Set; 1115 Set : LGV_Sets.Membership_Set; [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | bindo-elaborators.adb | 176 Set : LGV_Sets.Membership_Set; 186 Set : LGV_Sets.Membership_Set; 204 Set : LGV_Sets.Membership_Set; 238 Set : LGV_Sets.Membership_Set; 310 Set : LGV_Sets.Membership_Set; 597 Elaborable_Vertices : LGV_Sets.Membership_Set; 600 Waiting_Vertices : LGV_Sets.Membership_Set; 895 Set : LGV_Sets.Membership_Set; 1000 Set : LGV_Sets.Membership_Set; 1115 Set : LGV_Sets.Membership_Set; [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | bindo-elaborators.adb | 176 Set : LGV_Sets.Membership_Set; 186 Set : LGV_Sets.Membership_Set; 204 Set : LGV_Sets.Membership_Set; 238 Set : LGV_Sets.Membership_Set; 310 Set : LGV_Sets.Membership_Set; 597 Elaborable_Vertices : LGV_Sets.Membership_Set; 600 Waiting_Vertices : LGV_Sets.Membership_Set; 895 Set : LGV_Sets.Membership_Set; 1000 Set : LGV_Sets.Membership_Set; 1115 Set : LGV_Sets.Membership_Set; [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | bindo-elaborators.adb | 176 Set : LGV_Sets.Membership_Set; 186 Set : LGV_Sets.Membership_Set; 204 Set : LGV_Sets.Membership_Set; 238 Set : LGV_Sets.Membership_Set; 310 Set : LGV_Sets.Membership_Set; 597 Elaborable_Vertices : LGV_Sets.Membership_Set; 600 Waiting_Vertices : LGV_Sets.Membership_Set; 895 Set : LGV_Sets.Membership_Set; 1000 Set : LGV_Sets.Membership_Set; 1115 Set : LGV_Sets.Membership_Set; [all …]
|