Home
last modified time | relevance | path

Searched refs:set_intersect (Results 1 – 25 of 225) sorted by relevance

123456789

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/flatzinc/
H A Dgardner_dinner.fzn4500 constraint set_intersect(days[1], days[2], SET____36) :: defines_var(SET____36);
4511 constraint set_intersect(days[1], days[3], SET____38) :: defines_var(SET____38);
4522 constraint set_intersect(days[1], days[4], SET____40) :: defines_var(SET____40);
4533 constraint set_intersect(days[1], days[5], SET____42) :: defines_var(SET____42);
4544 constraint set_intersect(days[1], days[6], SET____44) :: defines_var(SET____44);
4555 constraint set_intersect(days[1], days[7], SET____46) :: defines_var(SET____46);
4566 constraint set_intersect(days[1], days[8], SET____48) :: defines_var(SET____48);
4577 constraint set_intersect(days[1], days[9], SET____50) :: defines_var(SET____50);
4588 constraint set_intersect(days[1], days[10], SET____52) :: defines_var(SET____52);
4599 constraint set_intersect(days[1], days[11], SET____54) :: defines_var(SET____54);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/steiner-triples/
H A D19.fzn5074 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_115):: defines_var(X_INTRODUCED…
5076 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_117):: defines_var(X_INTRODUCED…
5078 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_119):: defines_var(X_INTRODUCED…
5080 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_121):: defines_var(X_INTRODUCED…
5082 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_123):: defines_var(X_INTRODUCED…
5084 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_125):: defines_var(X_INTRODUCED…
5086 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_127):: defines_var(X_INTRODUCED…
5088 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_8,X_INTRODUCED_129):: defines_var(X_INTRODUCED…
5090 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_9,X_INTRODUCED_131):: defines_var(X_INTRODUCED…
5186 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_227):: defines_var(X_INTRODUCED…
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/gardner_dinner/
H A Dgardner_dinner.fzn4272 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_35):: defines_var(X_INTRODUCED_…
4274 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_37):: defines_var(X_INTRODUCED_…
4276 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_39):: defines_var(X_INTRODUCED_…
4278 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_41):: defines_var(X_INTRODUCED_…
4280 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_43):: defines_var(X_INTRODUCED_…
4282 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_45):: defines_var(X_INTRODUCED_…
4284 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_47):: defines_var(X_INTRODUCED_…
4286 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_8,X_INTRODUCED_49):: defines_var(X_INTRODUCED_…
4288 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_9,X_INTRODUCED_51):: defines_var(X_INTRODUCED_…
4290 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_10,X_INTRODUCED_53):: defines_var(X_INTRODUCED…
[all …]
/dports/math/minizinc/libminizinc-2.5.5/docs/chi/examples/
H A Dsocial-golfers.fzn421 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_16):: defines_var(X_INTRODUCED_…
423 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_18):: defines_var(X_INTRODUCED_…
425 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_20):: defines_var(X_INTRODUCED_…
427 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_22):: defines_var(X_INTRODUCED_…
429 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_24):: defines_var(X_INTRODUCED_…
431 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_26):: defines_var(X_INTRODUCED_…
433 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_28):: defines_var(X_INTRODUCED_…
435 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_30):: defines_var(X_INTRODUCED_…
437 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_32):: defines_var(X_INTRODUCED_…
439 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_34):: defines_var(X_INTRODUCED_…
[all …]
/dports/math/minizinc/libminizinc-2.5.5/docs/es/examples/
H A Dsocial-golfers_es.fzn421 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_16):: defines_var(X_INTRODUCED_…
423 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_18):: defines_var(X_INTRODUCED_…
425 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_20):: defines_var(X_INTRODUCED_…
427 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_22):: defines_var(X_INTRODUCED_…
429 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_24):: defines_var(X_INTRODUCED_…
431 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_26):: defines_var(X_INTRODUCED_…
433 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_28):: defines_var(X_INTRODUCED_…
435 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_30):: defines_var(X_INTRODUCED_…
437 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_32):: defines_var(X_INTRODUCED_…
439 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_34):: defines_var(X_INTRODUCED_…
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo10min/steiner-triples/
H A D09.fzn259 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_25):: defines_var(X_INTRODUCED_…
261 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_27):: defines_var(X_INTRODUCED_…
263 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_29):: defines_var(X_INTRODUCED_…
265 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_31):: defines_var(X_INTRODUCED_…
267 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_33):: defines_var(X_INTRODUCED_…
269 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_35):: defines_var(X_INTRODUCED_…
271 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_37):: defines_var(X_INTRODUCED_…
273 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_8,X_INTRODUCED_39):: defines_var(X_INTRODUCED_…
275 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_9,X_INTRODUCED_41):: defines_var(X_INTRODUCED_…
281 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_47):: defines_var(X_INTRODUCED_…
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/steiner/
H A Dsteiner.fzn92 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7…
94 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9…
96 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_11):: defines_var(X_INTRODUCED_…
98 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_13):: defines_var(X_INTRODUCED_…
100 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_15):: defines_var(X_INTRODUCED_…
102 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_17):: defines_var(X_INTRODUCED_…
104 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_19):: defines_var(X_INTRODUCED_…
106 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_21):: defines_var(X_INTRODUCED_…
108 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_23):: defines_var(X_INTRODUCED_…
110 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_25):: defines_var(X_INTRODUCED_…
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/steiner-triples/
H A D07.fzn99 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_14):: defines_var(X_INTRODUCED_…
101 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_16):: defines_var(X_INTRODUCED_…
103 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_18):: defines_var(X_INTRODUCED_…
105 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_20):: defines_var(X_INTRODUCED_…
107 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_22):: defines_var(X_INTRODUCED_…
109 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_24):: defines_var(X_INTRODUCED_…
111 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_26):: defines_var(X_INTRODUCED_…
113 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_28):: defines_var(X_INTRODUCED_…
115 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_30):: defines_var(X_INTRODUCED_…
117 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_32):: defines_var(X_INTRODUCED_…
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/set_partition_stackoverflow/
H A Dset_partition_stackoverflow.fzn63 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_23):: defines_var(X_INTRODUCED_…
64 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_24):: defines_var(X_INTRODUCED_…
65 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_8,X_INTRODUCED_25):: defines_var(X_INTRODUCED_…
66 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_9,X_INTRODUCED_26):: defines_var(X_INTRODUCED_…
67 constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_27):: defines_var(X_INTRODUCED_…
68 constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_8,X_INTRODUCED_28):: defines_var(X_INTRODUCED_…
69 constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_9,X_INTRODUCED_29):: defines_var(X_INTRODUCED_…
70 constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_30):: defines_var(X_INTRODUCED_…
71 constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_9,X_INTRODUCED_31):: defines_var(X_INTRODUCED_…
72 constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_32):: defines_var(X_INTRODUCED_…
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/atmost1_me/
H A Datmost1_me.fzn37 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8…
39 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_10):: defines_var(X_INTRODUCED_…
41 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_12):: defines_var(X_INTRODUCED_…
43 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_14):: defines_var(X_INTRODUCED_…
45 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_16):: defines_var(X_INTRODUCED_…
47 constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_18):: defines_var(X_INTRODUCED_…
/dports/math/minizinc-ide/MiniZincIDE-2.5.5/cp-profiler/src/cpprofiler/analysis/
H A Dpath_comp.cpp12 static vector<Label> set_intersect(vector<Label> v1, vector<Label> v2) in set_intersect() function
53 auto unique_1 = set_intersect(path1, diff); in getLabelDiff()
55 auto unique_2 = set_intersect(path2, diff); in getLabelDiff()
/dports/devel/R-cran-tidyselect/tidyselect/R/
H A Dsets.R13 set_intersect(x, y)
15 sel_operation(x, y, set_intersect)
78 set_intersect <- function(x, y) { function
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/c1/
H A Dc1_ValueSet.hpp48 bool set_intersect(ValueSet* other);
82 inline bool ValueSet::set_intersect(ValueSet* other) { in set_intersect() function in ValueSet
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/c1/
H A Dc1_ValueSet.hpp48 bool set_intersect(ValueSet* other);
82 inline bool ValueSet::set_intersect(ValueSet* other) { in set_intersect() function in ValueSet
/dports/devel/etl/synfig-1.2.2/synfig-core/src/synfig/rendering/common/optimizer/
H A Doptimizerblendseparate.cpp81 etl::set_intersect( in run()
87 etl::set_intersect(blend_rect, blend_rect, blend->sub_task_a()->get_target_rect()); in run()
/dports/graphics/synfig/synfig-1.2.2/synfig-core/src/synfig/rendering/common/optimizer/
H A Doptimizerblendseparate.cpp81 etl::set_intersect( in run()
87 etl::set_intersect(blend_rect, blend_rect, blend->sub_task_a()->get_target_rect()); in run()
/dports/graphics/synfigstudio/synfig-1.2.2/synfig-core/src/synfig/rendering/common/optimizer/
H A Doptimizerblendseparate.cpp81 etl::set_intersect( in run()
87 etl::set_intersect(blend_rect, blend_rect, blend->sub_task_a()->get_target_rect()); in run()
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/nclass/
H A Dnclass.fzn59 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_31):: defines_var(X_INTRODUCED_…
60 constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_32):: defines_var(X_INTRODUCED_…
61 constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_33):: defines_var(X_INTRODUCED_…
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptTest/alldifferent_partition/
H A Dalldifferent_partition.fzn63 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_39):: defines_var(X_INTRODUCED_…
64 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_40):: defines_var(X_INTRODUCED_…
65 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_41):: defines_var(X_INTRODUCED_…
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/alldifferent_partition/
H A Dalldifferent_partition.fzn63 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_39):: defines_var(X_INTRODUCED_…
64 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_40):: defines_var(X_INTRODUCED_…
65 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_41):: defines_var(X_INTRODUCED_…
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptGolden/testFzn/alldifferent_partition/
H A Dalldifferent_partition.fzn63 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_39):: defines_var(X_INTRODUCED_…
64 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_40):: defines_var(X_INTRODUCED_…
65 constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_41):: defines_var(X_INTRODUCED_…
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/n_partitioning/
H A Dn_partitioning.fzn364 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_278):: defines_var(X_INTRODUCED…
365 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_279):: defines_var(X_INTRODUCED…
366 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_280):: defines_var(X_INTRODUCED…
367 constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_281):: defines_var(X_INTRODUCED…
368 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_282):: defines_var(X_INTRODUCED…
369 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_283):: defines_var(X_INTRODUCED…
370 constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_284):: defines_var(X_INTRODUCED…
371 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_285):: defines_var(X_INTRODUCED…
372 constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_286):: defines_var(X_INTRODUCED…
373 constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_287):: defines_var(X_INTRODUCED…
/dports/devel/kdevelop/kdevelop-21.12.3/kdevplatform/language/util/
H A Dsetrepository.cpp113 …uint set_intersect(uint firstNode, uint secondNode, const SetNodeData* first, const SetNodeData* s…
695 uint SetRepositoryAlgorithms::set_intersect(uint firstNode, uint secondNode, const SetNodeData* fir… in set_intersect() function in Utils::SetRepositoryAlgorithms
737 … uint newLeftNode = set_intersect(firstLeftNode, secondLeftNode, firstLeft, secondLeft, splitBit); in set_intersect()
738 …uint newRightNode = set_intersect(firstRightNode, secondRightNode, firstRight, secondRight, splitB… in set_intersect()
759 return set_intersect(firstLeftNode, secondNode, firstLeft, second, splitBit); in set_intersect()
762 return set_intersect(firstRightNode, secondNode, firstRight, second, splitBit); in set_intersect()
774 return set_intersect(secondLeftNode, firstNode, secondLeft, first, splitBit); in set_intersect()
777 return set_intersect(secondRightNode, firstNode, secondRight, first, splitBit); in set_intersect()
1063 Set ret(alg.set_intersect(m_tree, first.m_tree, m_repository->m_dataRepository.itemFromIndex( in operator &()
1084 m_tree = alg.set_intersect(m_tree, first.m_tree, m_repository->m_dataRepository.itemFromIndex( in operator &=()
/dports/devel/etl/synfig-1.2.2/synfig-core/src/synfig/rendering/software/task/
H A Dtaskblendsw.cpp102 etl::set_intersect(ra, ra, r); in run()
119 etl::set_intersect(rb, rb, r); in run()
/dports/graphics/synfig/synfig-1.2.2/synfig-core/src/synfig/rendering/software/task/
H A Dtaskblendsw.cpp102 etl::set_intersect(ra, ra, r); in run()
119 etl::set_intersect(rb, rb, r); in run()

123456789