Home
last modified time | relevance | path

Searched refs:intSet (Results 1 – 25 of 75) sorted by relevance

123

/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/CodeTree/X86Code/
H A DINTSETSIG.sml20 type intSet type
21 val emptySet: intSet
22 val setToList: intSet -> int list
23 val listToSet: int list -> intSet
24 val removeFromSet: int * intSet -> intSet
25 val union: intSet * intSet -> intSet
26 val minus: intSet * intSet -> intSet
27 val cardinality: intSet -> int
28 val filterSet: (int->bool) -> intSet -> intSet
29 val member: int * intSet -> bool
[all …]
H A DX86IDENTIFYREFSSIG.ML26 type intSet
37 block: {instr: x86ICode, current: intSet, active: intSet, kill: intSet } list,
39 locals: intSet, (* Defined and used entirely within the block. *)
40 … imports: intSet, (* Defined outside the block, used inside it, but not needed afterwards. *)
41 exports: intSet, (* Defined within the block, possibly used inside, but used outside. *)
42 …passThrough: intSet, (* Active throughout the block. May be referred to by it but needed afterward…
43 … loopRegs: intSet, (* Destination registers for a loop. They will be updated by this block. *)
44 …initialStacks: intSet, (* Stack items required at the start i.e. imports+passThrough for stack ite…
62 and intSet = intSet
H A DX86ALLOCATEREGISTERSSIG.ML20 type intSet and extendedBasicBlock and regProperty and reg
25 conflicts: intSet, realConflicts: reg list
30 | AllocateFailure of intSet list
41 type intSet = intSet
H A DX86GETCONFLICTSETSIG.ML21 type intSet
25 conflicts: intSet, realConflicts: reg list
35 and intSet = intSet
H A DX86ICODEGENERATESIG.ML20 type intSet and extendedBasicBlock and regProperty and reg
33 type intSet = intSet
/dports/devel/lfcbase/lfcbase-1.16.2/basecheck/
H A DSetTest.cc56 SetT<int> intSet; in main() local
65 intSet.Empty(); in main()
96 pI = intSet.Next(); in main()
108 intSet.Empty(); in main()
117 intSet2 = intSet; in main()
133 intSet = intSet2 + intSet3; in main()
146 intSet += intSet3; in main()
153 intSet ^= intSet3; in main()
161 b = intSet == intSet3; in main()
167 intSet.Size(); in main()
[all …]
/dports/devel/splint/splint-3.1.2/src/Headers/
H A DintSet.h20 } *intSet; variable
29 extern /*@only@*/ intSet intSet_new (void);
31 extern bool intSet_isEmpty (intSet p_s);
34 extern int intSet_size (intSet p_s);
37 extern bool intSet_insert (intSet p_s, int p_el);
38 extern /*@unused@*/ bool intSet_member (intSet p_s, int p_el);
39 extern /*@only@*/ /*@unused@*/ cstring intSet_unparse (intSet p_s);
40 extern void intSet_free (/*@only@*/ intSet p_s);
42 extern /*@only@*/ cstring intSet_unparseText (intSet p_s);
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/bound_tightening/operators/
H A DimpliedBounds-exprSum.cpp193 if (intSet.find (wind)!= intSet.end ()) in impliedBound()
205 if (intSet.find (wind)!= intSet.end ()) in impliedBound()
223 if (intSet.find (wind)!= intSet.end ()) in impliedBound()
258 if (intSet.find (ind)!= intSet.end ()) in impliedBound()
268 if (intSet.find (ind)!= intSet.end ()) in impliedBound()
278 if (intSet.find (ind)!= intSet.end ()) in impliedBound()
287 if (intSet.find (ind)!= intSet.end ()) in impliedBound()
301 if (intSet.find (ind) != intSet.end ()) in impliedBound()
310 if (intSet.find (ind) != intSet.end ()) in impliedBound()
320 if (intSet.find (ind) != intSet.end ()) in impliedBound()
[all …]
/dports/sysutils/kubectl/kubernetes-1.22.2/plugin/pkg/auth/authorizer/node/
H A Dintset.go20 type intSet struct { struct
25 func newIntSet() *intSet {
26 return &intSet{members: map[int]int{}}
31 func (s *intSet) has(i int) bool { argument
40 func (s *intSet) reset() { argument
48 func (s *intSet) increment(i int) { argument
56 func (s *intSet) decrement(i int) { argument
/dports/devel/splint/splint-3.1.2/test/manual/
H A Dreturned.c3 extern intSet intSet_insert
4 (/*@returned@*/ intSet s, int x);
12 intSet intSet_singleton (int x) in intSet_singleton()
21 extern intSet intSet_insert2 (intSet s, int x);
23 intSet intSet_singleton2 (int x) in intSet_singleton2()
H A DintSet.h5 } *intSet ; typedef
7 extern intSet intSet_new (void);
/dports/devel/splint/splint-3.1.2/src/
H A DintSet.c36 /*@only@*/ intSet
39 intSet s = (intSet) dmalloc (sizeof (*s)); in intSet_new()
49 intSet_grow (intSet s) in intSet_grow()
74 intSet_insert (intSet s, int el) in intSet_insert()
116 intSet_member (intSet s, int el) in intSet_member()
135 intSet_unparseText (intSet s) in intSet_unparseText()
155 intSet_unparse (intSet s) in intSet_unparse()
170 intSet_free (intSet s) in intSet_free()
/dports/devel/swig/swig-4.0.2/Examples/test-suite/csharp/
H A Dli_std_set_runme.cs97 IntSet intSet = new IntSet(); in Main()
98 checkThat(intSet.Count == 0, "is initially empty"); in Main()
99 checkThat(intSet.Add(17), "17 added successfully"); in Main()
100 checkThat(!intSet.Add(17), "17 not added again"); in Main()
101 checkThat(intSet.Count == 1, "not empty any more"); in Main()
102 checkThat(intSet.Add(289), "289 added successfully"); in Main()
103 checkThat(intSet.Count == 2, "even less empty now"); in Main()
/dports/devel/swig/swig-4.0.2/Examples/test-suite/java/
H A Dli_std_set_runme.java82 java.util.AbstractSet<Integer> intSet = new IntSet(); in main() local
83 checkThat(intSet.isEmpty()); in main()
84 checkThat(intSet.add(17)); in main()
85 checkThat(!intSet.add(17)); in main()
86 checkThat(intSet.size() == 1); in main()
87 checkThat(intSet.add(289)); in main()
88 checkThat(intSet.size() == 2); in main()
/dports/devel/eastl/EASTL-3.13.06/test/source/
H A DTestRandom.cpp145 eastl::set<eastl_size_t> intSet; in TestRandom() local
148 intSet.insert(rngArray[s]); in TestRandom()
151 EATEST_VERIFY(intSet.size() == rngArray.size()); in TestRandom()
/dports/math/gecode/gecode-0916a1a/test/set/
H A Drel-op-const.cpp89 int intSet, bool inverse0) in RelSIS() argument
91 str(intSet)+(inverse0 ? "i" :""),2,ds_22,false) in RelSIS()
92 , is(iss[intSet]), sot(sot0), srt(srt0), inverse(inverse0) {} in RelSIS()
186 int intSet) in RelSSI() argument
188 str(intSet),2,ds_22,false) in RelSSI()
189 , is(iss[intSet]), sot(sot0), srt(srt0) {} in RelSSI()
/dports/devel/py-opengrok-tools/opengrok-1.3.16/suggester/src/test/java/org/opengrok/suggest/query/customized/
H A DCustomSloppyPhraseScorerTest.java101 Set<Integer> intSet = new HashSet<>(); in toSet() local
104 intSet.add(i); in toSet()
107 return intSet; in toSet()
/dports/lang/maude/maude-2.7.1/src/Utility/
H A DMakefile.am9 intSet.cc \
48 intSet.hh \
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang-tools-extra/test/clang-tidy/checkers/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang-tools-extra/test/clang-tidy/checkers/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/tools/extra/test/clang-tidy/checkers/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang-tools-extra/test/clang-tidy/checkers/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/tools/extra/test/clang-tidy/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/tools/extra/test/clang-tidy/checkers/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/tools/extra/test/clang-tidy/
H A Dreadability-container-size-empty.cpp104 std::set<int> intSet; in main() local
112 if (intSet.size() == 0) in main()
117 if (intSet == std::set<int>()) in main()

123