| /dports/lang/swi-pl/swipl-8.2.3/bench/ |
| H A D | zebra.pl | 14 next_to(house(_,_,_,_,chesterfields), house(_,_,fox,_,_), Houses),
15 next_to(house(_,_,_,_,kools), house(_,_,horse,_,_), Houses),
18 next_to(house(_,norwegian,_,_,_), house(blue,_,_,_,_), Houses),
34 next_to(A, B, [A, B | _]).
35 next_to(A, B, [B, A | _]).
36 next_to(A, B, [_ | Y]) :- next_to(A, B, Y).
|
| /dports/misc/otter/otter-3.3f/examples/split/ |
| H A D | zebra4.in | 38 % Definitions of distinct5, successor, and next_to.
49 all x y (next_to(x,y) <-> successor(x,y) | successor(y,x)).
68 next_to(kool, horse).
69 next_to(chest, fox).
|
| H A D | zebra4.out | 102 0 [] next_to(kool,horse).
103 0 [] next_to(chest,fox).
292 72 [] next_to(kool,horse).
489 72 [] next_to(kool,horse).
718 72 [] next_to(kool,horse).
720 74 [] next_to(chest,fox).
925 72 [] next_to(kool,horse).
1189 72 [] next_to(kool,horse).
1386 72 [] next_to(kool,horse).
1653 74 [] next_to(chest,fox).
[all …]
|
| /dports/lang/yap/yap-6.2.2/packages/chr/Benchmarks/ |
| H A D | zebra.chr | 110 next_to( [_,norwegian,_,_,_],[blue,_,_,_,_], S), % clue 14
111 next_to( [_,_,masserati,_,_],[_,_,_,_,horse], S), % clue 11
112 next_to( [_,_,saab,_,_], [_,_,_,_,fox], S), % clue 10
122 % next_to(X, Y, L) is true when X and Y are next to each other in list L
124 next_to(X, Y, L) :- left_right(X, Y, L).
126 next_to(X, Y, L) :- left_right(Y, X, L).
|
| /dports/lang/yap/yap-6.2.2/packages/chr/Tests/ |
| H A D | zebra.chr | 101 next_to( [_,norwegian,_,_,_],[blue,_,_,_,_], S), % clue 14
102 next_to( [_,_,masserati,_,_],[_,_,_,_,horse], S), % clue 11
103 next_to( [_,_,saab,_,_], [_,_,_,_,fox], S), % clue 10
113 % next_to(X, Y, L) is true when X and Y are next to each other in list L
115 next_to(X, Y, L) :- left_right(X, Y, L).
117 next_to(X, Y, L) :- left_right(Y, X, L).
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/chr/Benchmarks/ |
| H A D | zebra.chr | 111 next_to( [_,norwegian,_,_,_],[blue,_,_,_,_], S), % clue 14
112 next_to( [_,_,masserati,_,_],[_,_,_,_,horse], S), % clue 11
113 next_to( [_,_,saab,_,_], [_,_,_,_,fox], S), % clue 10
123 % next_to(X, Y, L) is true when X and Y are next to each other in list L
125 next_to(X, Y, L) :- left_right(X, Y, L).
127 next_to(X, Y, L) :- left_right(Y, X, L).
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/chr/Tests/ |
| H A D | zebra.chr | 101 next_to( [_,norwegian,_,_,_],[blue,_,_,_,_], S), % clue 14
102 next_to( [_,_,masserati,_,_],[_,_,_,_,horse], S), % clue 11
103 next_to( [_,_,saab,_,_], [_,_,_,_,fox], S), % clue 10
113 % next_to(X, Y, L) is true when X and Y are next to each other in list L
115 next_to(X, Y, L) :- left_right(X, Y, L).
117 next_to(X, Y, L) :- left_right(Y, X, L).
|
| /dports/net/quiche/quiche-0.9.0/src/ |
| H A D | ranges.rs | 65 while let Some(r) = self.next_to(start) { in insert()
148 fn next_to(&self, item: u64) -> Option<Range<u64>> { in next_to() method
398 fn next_to() { in next_to() function
404 assert_eq!(r.next_to(2), Some(4..7)); in next_to()
405 assert_eq!(r.next_to(12), None); in next_to()
406 assert_eq!(r.next_to(15), None); in next_to()
407 assert_eq!(r.next_to(5), Some(9..12)); in next_to()
408 assert_eq!(r.next_to(8), Some(9..12)); in next_to()
|
| /dports/games/diaspora/Diaspora_R1_Linux/Diaspora/fs2_open/STLport-5.2.1/test/unit/ |
| H A D | codecvt_test.cpp | 397 wchar_t *next_to; in in_out_test() local
399 to, to + sizeof(to) / sizeof(wchar_t), next_to); in in_out_test()
402 CPPUNIT_ASSERT( next_to == &to[0] + 1 ); in in_out_test()
411 char *next_to; in in_out_test() local
413 to, to + sizeof(to) / sizeof(char), next_to); in in_out_test()
416 CPPUNIT_ASSERT( next_to == &to[0] + 1 ); in in_out_test()
|
| /dports/x11/kitty/kitty-0.23.1/kitty/layout/ |
| H A D | base.py | 279 next_to: Optional[WindowType] = None
281 next_to = all_windows.active_window
289 next_to = None
291 next_to = None
292 all_windows.add_window(window, next_to=next_to, before=before)
|
| /dports/x11/kitty/kitty-0.23.1/kitty/ |
| H A D | window_list.py | 279 next_to: Optional[WindowOrId] = None,
289 if target_group is None and next_to is not None:
290 q = self.id_map[next_to] if isinstance(next_to, int) else next_to
|
| /dports/math/chaco/Chaco-2.2/code/bpmatch/ |
| H A D | movevtxs.c | 157 toobig, active, next_vtx, next_to, next_delta) in nextmove() argument
168 short *next_to; /* set vertex should be moved to */
244 *next_to = bestto;
|
| /dports/graphics/p5-GraphViz-Data-Structure/GraphViz-Data-Structure-0.20/lib/GraphViz/Data/ |
| H A D | Structure.pm | 549 my @next_to;
554 my ($subnode_name,@next_to) =
558 @next_to);
|
| /dports/x11-wm/awesome/awesome-4.3/tests/examples/awful/placement/ |
| H A D | next_to.lua | 15 awful.placement.next_to(
|
| /dports/textproc/p5-Excel-Writer-XLSX/Excel-Writer-XLSX-1.09/t/regression/ |
| H A D | chart_gap05.t | 53 $chart->set_x2_axis( label_position => 'next_to' );
|
| H A D | chart_axis20.t | 55 $chart->set_x_axis( label_position => 'next_to' );
|
| /dports/devel/libslang2/slang-2.3.2/src/ |
| H A D | slwclut.c | 1081 SLuchar_Type *next_to; in SLwchar_allocate_char_map() local
1095 if (NULL == (next_to = get_lexical_element (to, to_max, 1, 1, &list->to))) in SLwchar_allocate_char_map()
1102 if (next_to != to_max) in SLwchar_allocate_char_map()
1109 to = next_to; in SLwchar_allocate_char_map()
|
| /dports/audio/xcdplayer/xcdplayer-2.2/ |
| H A D | program.c | 255 make_program_button(node, next_to, label) in make_program_button() argument
257 Widget next_to;
264 XtSetArg(args[i], XtNfromHoriz, next_to); i++;
|
| /dports/x11-wm/awesome/awesome-4.3/lib/awful/ |
| H A D | popup.lua | 62 local _, pos_name, anchor_name = placement.next_to(self, {
|
| H A D | tooltip.lua | 127 local _, position = a_placement.next_to(w, {
|
| H A D | placement.lua | 1403 function placement.next_to(d, args) function
1506 attach(d, placement.next_to, args)
|
| /dports/devel/m17n-lib/m17n-lib-1.8.0/src/ |
| H A D | m17n-gui.h | 804 int next_to; member
|
| H A D | draw.c | 2602 info->next_to = g_tmp->g.to; in mdraw_glyph_info()
2611 info->next_to = g_tmp->g.to; in mdraw_glyph_info()
2615 info->next_to = -1; in mdraw_glyph_info()
|
| /dports/games/widelands/widelands-build21/src/wui/ |
| H A D | interactive_base.cc | 1248 bool next_to = false; in road_building_add_overlay() local
1254 next_to = true; in road_building_add_overlay()
1258 if (!next_to && road_building_mode_->path.get_nsteps() >= map.get_waterway_max_length()) { in road_building_add_overlay()
|
| /dports/games/moria/umoria/source/ |
| H A D | generate.c | 62 static int next_to(int, int);
1196 static int next_to(y, x) in next_to() function
1220 && next_to(y, x))
|