Home
last modified time | relevance | path

Searched refs:Membership_Set (Results 1 – 25 of 118) sorted by relevance

12345

/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/
H A Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dg-sets.ads77 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 Dg-sets.adb45 (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 Dsets1.adb18 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 Dsets1.adb18 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 Dsets1.adb18 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 Dsets1.adb18 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 Dsets1.adb18 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 Dsets1.adb18 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 Dsets1.adb18 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 Dbindo-elaborators.adb176 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 Dbindo-elaborators.adb176 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 Dbindo-elaborators.adb176 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 Dbindo-elaborators.adb176 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 …]

12345