/dports/cad/yosys/yosys-yosys-0.12/manual/CHAPTER_StateOfTheArt/ |
H A D | simlib_icarus.v | 74 Sel0, 79 input Sel0; port 87 Sel0, 92 input Sel0; port 96 assign Result0 = Sel0 ? Data1x0 : Data0x0; 124 Sel0, Sel1, Sel2, Sel3, 143 input Sel0, Sel1, Sel2, Sel3; port 181 Sel0, Sel1, Sel2, Sel3, Sel4, 186 input Sel0, Sel1, Sel2, Sel3, Sel4; port 191 {Sel4, Sel3, Sel2, Sel1, Sel0} == 0 ? Data0x0 : [all …]
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/table_tests/ |
H A D | correct.P | 70 Sel \== Sel0. 132 sel_edge(U, NY, Sel0, NZ), 137 sel_edge(U, NY, Sel0, NZ), 149 Sel \== Sel0. 151 sel_edge(V, NY, Sel0, NXZ) :- 154 sel_edge(U, NY, Sel0, NZ), 162 sel_edge(U, NY, Sel0, NZ), 172 sel_edge(U, NY, Sel0, NZ), 175 Sel \== Sel0, 211 Sel \== Sel0, [all …]
|
/dports/graphics/wings/wings-8d019ebe48/src/ |
H A D | wings_sel.erl | 168 {We,Sel} = F(Sel0, We0), 196 Sel = update_sel_1(Sel0, F, Shapes), 305 Sel0 = gb_trees:values(Shapes), 306 Sel = new_sel_1(Sel0, F, Mode), 516 end, [], Sel0), 536 end, [], Sel0), 542 case keymember(Id, 1, Sel0) of 552 Sel = keydelete(Id, 1, Sel0), 602 Sel = F(Sel0, We), 651 Sel0 = get_all_items(Mode, We), [all …]
|
H A D | wings_edge_loop.erl | 208 select_loop_1(Edges0, Etab, Sel0) -> 210 true -> Sel0; 213 Sel = gb_sets:insert(Edge, Sel0), 310 loop_incr_1(Q0, Edge2Link, BorderEdges, We, Sel0, Stuck0) -> 315 gb_sets:union([Sel || {_,Sel} <- Stuck0] ++ [Sel0]); 323 Sel = gb_sets:union(Sel0, Sel1), 330 Sel = gb_sets:union(Sel0, Sel1), 354 loop_incr_1(Q, Edge2Link, BorderEdges, We, Sel0, Stuck0) 448 expand_edge_link([{V,OrigEdge}|R], We, BorderEdges, Sel0) -> 451 Sel = gb_sets:add(Edge, Sel0), [all …]
|
H A D | wings_develop.erl | 113 state_check(#st{sel=Sel0}, Str) -> 117 Sel = lists:sort(Sel0), 118 if Sel =/= Sel0 ->
|
H A D | wings_obj.erl | 92 delete(Id, #st{sel=Sel0,shapes=Shs0}=St) -> 94 Sel = keydelete(Id, 1, Sel0), 181 hide(Ids0, #st{selmode=Mode,shapes=Shs0,sel=Sel0}=St) -> 183 {Shs,Sel} = hide_1(Ids, Sel0, Mode, [], Shs0), 189 unhide(Ids0, #st{selmode=Mode,shapes=Shs0,sel=Sel0}=St) -> 193 Sel = lists:sort(unhide_update_sel(Wes1, Mode, Sel0)), 201 lock(Ids0, #st{shapes=Shs0,sel=Sel0}=St) -> 207 Sel = [Item || {Id,_}=Item <- Sel0, not gb_sets:is_member(Id, Ids)],
|
H A D | wings_collapse.erl | 228 Sel0 = wings_edge:to_vertices(Edges, We0), 229 Sel1 = [V || V <- Sel0, wings_vertex:pos(V, We) =/= undefined], 321 {We1,Sel0} = do_collapse_vertices(gb_sets:to_list(Vs), We0), 325 Sel = gb_sets:intersection(Sel0, AllItems), 334 do_collapse_vertices([V|Vs], #we{vp=Vtab}=We0, Sel0, IsoAcc, Acc) -> 337 do_collapse_vertices(Vs, We0, Sel0, IsoAcc, Acc); 339 case collapse_vertex_1(V, We0, Sel0) of 341 do_collapse_vertices(Vs, We0, Sel0, [V|IsoAcc], Acc); 359 collapse_vertex_1(Vremove, We0, Sel0) -> 387 Sel = collapse_vtx_sel(Faces, ordsets:from_list(Vlist), We, Sel0),
|
H A D | wings_ff_wings.erl | 828 import_props([{selection,{Mode,Sel0}}|Ps], St) -> 829 Sel = import_sel(Sel0, St), 831 import_props([{saved_selection,{Mode,Sel0}}|Ps], St0) -> 832 Sel = import_sel(Sel0, St0), 836 Sel = import_sel(Sel0, St0), 1247 Sel0 = collect_sel(St), 1251 {Shs2,Sel} = renumber(Shs1, Sel0, 0, [], []), 1288 remove_lights(#st{sel=Sel0,shapes=Shs0}=St) -> 1298 {Id,Elems} <- Sel0], 1344 export_props(Sel0) -> [all …]
|
H A D | wings_view.erl | 909 Sel = lists:subtract(Sel0,Sel1), 912 Sel = lists:subtract(Sel1,Sel0), 914 highlight_aim(add, Selmode, Sel0, MM, #st{sel=Sel1}=St) -> 915 Sel = highlighted_element(Sel0, Sel1), 917 highlight_aim(delete, Selmode, Sel0, MM, #st{sel=Sel1}=St) -> 918 Sel = highlighted_element(Sel1, Sel0), 921 highlighted_element([{Id,Sel0}], [{Id,Sel1}]) -> 922 [{Id,gb_sets:subtract(Sel0,Sel1)}]; 923 highlighted_element(Sel0, Sel1) -> 924 [{Id,_}] = lists:subtract(Sel0,Sel1), [all …]
|
H A D | wings_sel_cmd.erl | 473 union_group(Key, #st{sel=Sel0}=St) -> 475 Sel = union(Sel0, Ssel), 481 subtract_group(Key, #st{sel=Sel0}=St) -> 483 Sel = subtract(Sel0, Ssel), 499 intersect_group(Key, #st{sel=Sel0}=St) -> 501 Sel = intersection(Sel0, Ssel), 705 do_similar(MakeTemplate, #st{selmode=Mode,sel=Sel0}=St) when Sel0 =/= [] -> 1557 find_similar_connected_1(Sel0, Pred, We, LastSel0) -> 1559 LastSel2 = gb_sets:subtract(LastSel1, Sel0), 1563 Sel0; [all …]
|
H A D | wings_pick.erl | 592 marquee_update_sel_1(add, Hits, #st{sel=Sel0}=St) -> 593 Sel1 = [{Id,gb_sets:to_list(Items)} || {Id,Items} <- Sel0], 599 marquee_update_sel_1(delete, Hits, #st{sel=Sel0}=St) -> 600 Sel1 = [{Id,gb_sets:to_list(Items)} || {Id,Items} <- Sel0], 705 update_selection({Mode,MM,{Id,Item}}, #st{sel=Sel0}=St) -> 707 {Type,Sel} = update_selection(Id, Items, Sel0, []),
|
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/ |
H A D | pce_graphical_browser.pl | 143 get(B, get_super, selection, Sel0), 145 -> ( get(Sel0, size, 1) 146 -> get(Sel0, head, Sel1), 150 ; get(Sel0, map, ?(B, unrender, @arg1), Sel)
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/wings/ |
H A D | wings_edge_cmd.erl | 48 loop_cut_make_copies([P|Parts], We0, Sel0, #st{onext=Id}=St0) -> 49 Sel = [{Id,gb_sets:singleton(0)}|Sel0],
|
/dports/devel/vc/Vc-1.4.2/Vc/avx/ |
H A D | shuffle.h | 42 template <uint8_t Sel0, uint8_t Sel1, uint8_t Sel2, uint8_t Sel3, uint8_t Sel4, 47 blend(__m256i a, __m256i b, Mask<Sel0, Sel1, Sel2, Sel3, Sel4, Sel5, Sel6, Sel7, Sel8, in blend() argument 50 static_assert((Sel0 == 0 || Sel0 == 1) && (Sel1 == 0 || Sel1 == 1) && in blend() 60 (Sel0 << 0 ) | (Sel1 << 1 ) | (Sel2 << 2 ) | (Sel3 << 3 ) | in blend()
|
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/draw/ |
H A D | config.pl | 272 get(ASI, get_super, selection, Sel0), 273 get(Sel0, map, ?(@prolog, map_selected_image, @arg1), Sel).
|
/dports/graphics/wings/wings-8d019ebe48/plugins_src/commands/ |
H A D | wpc_constraints.erl | 512 check_selection(sub_angle,none,none,#st{sel=[{_Id0,Sel0},{_Id1,Sel1}]}=St,OrigSt) -> 513 case gb_sets:size(Sel0) == 1 andalso gb_sets:size(Sel1) == 1 of 675 EdgeNum = lists:foldl(fun({_Id,Sel0}, A) -> 676 gb_sets:size(Sel0)+A 806 measure_angle(Axis,#st{selmode=edge,shapes=Shs,sel=[{Id0,Sel0},{Id1,Sel1}]}) -> 809 [E0] = gb_sets:to_list(Sel0), 832 measure_angle(Axis,#st{selmode=face,shapes=Shs,sel=[{Id0,Sel0},{Id1,Sel1}]}) -> 835 [F0] = gb_sets:to_list(Sel0),
|
H A D | wpc_magnet_mask.erl | 143 Sel0 = fun(_,#we{pst=Pst}) -> 146 #st{sel=Sel1} = wings_sel:make(Sel0,body,St),
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/observer/src/ |
H A D | observer_tv_wx.erl | 445 table_holder(S0 = #holder{parent=Parent, tabs=Tabs0, sel=Sel0}) -> 454 STab = get_sel(Sel0, Tabs0), 461 STab = get_sel(Sel0, Tabs0),
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/observer/src/ |
H A D | observer_tv_wx.erl | 445 table_holder(S0 = #holder{parent=Parent, tabs=Tabs0, sel=Sel0}) -> 454 STab = get_sel(Sel0, Tabs0), 461 STab = get_sel(Sel0, Tabs0),
|