/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | assoc.pl | 22 % This stores association pairs in a tree structure; the empty tree 24 % empty tree 150 record(tree,t,_), % Create an empty tree
|
H A D | intervals.pl | 109 show that if A1 /\ B1 is not empty, then either A1 /\ B2 is empty or A2 110 /\ B1 is empty. Thus, after intersecting A1 and B1, we can drop either 151 head of a list which is either empty or contains greater intervals.
|
H A D | flat.pl | 62 should be used when the Operator has no Unit, if given an empty
|
/barrelfish-2018-10-04/lib/libc/regex/ |
H A D | engine.c | 94 states empty; /* empty set of states */ member in struct:match 242 SETUP(m->empty); 243 CLEAR(m->empty); 878 states empty = m->empty; local 949 if (EQ(st, empty) || p == stop || clen > stop - p) 954 ASSIGN(st, empty); 1035 case OPLUS_: /* forward, this is just an empty */ 1052 case O_QUEST: /* just an empty */ [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/rxspencer/ |
H A D | engine.c | 45 states empty; /* empty set of states */ member in struct:match 118 SETUP(m->empty); 119 CLEAR(m->empty); 724 register states empty = m->empty; local 780 if (EQ(st, empty) || p == stop) 785 ASSIGN(st, empty); 868 case OPLUS_: /* forward, this is just an empty */ 885 case O_QUEST: /* just an empty */ [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embroot.tex | 92 \pagestyle{empty}
|
H A D | embsumcxx.tex | 120 Construct the empty list \nil. 160 checks whether the EC_word is nil, the empty list. 314 If there was an attempt to read from an empty queue stream with
|
H A D | embexdr.tex | 64 Nil & \nil /0 & empty string & java.util.Collection\\
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | visualisation.tex | 101 \pagestyle{empty}
|
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/ |
H A D | basic.pl | 68 empty([]). 162 not(empty(Subset)).
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-eager.pl | 24 coca(try_rule(D, equals([], A), empty, equals([], E), replacement, true, zero(E))), 27 coca(fired_rule(empty)),
|
H A D | time.pl | 13 delay empty(_261, _264, _267) if var(_261), var(_264). 14 empty(0, [], _349).
|
H A D | pc.pl | 104 coca(try_rule(Nb_g8128, path(_g7400, _g7402, _g7404, _g7406, _g7408, _g7410), empty, path(_g8190, _g8192, _g8194, _g8196, _g8198, _g8200), replacement, empty(_g8190, _g8196, _g8198), fail)), 105 no_delayed_goals(empty(_g7400, _g7406, _g7408)), 108 coca(fired_rule(empty)),
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | heaps.pl | 55 t terms for empty subtrees and 89 insertion in the key. If the free list is empty, the tree will 90 be grown, otherwise one of the empty slots will be re-used. (I 236 from the heap. It fails if the heap is empty.
|
H A D | http_server.pl | 208 - the output of the method (possibly empty) 325 - the output of the method (possibly empty)
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | iwcm.c | 847 int empty; local 852 empty = list_empty(&cm_id_priv->work_list); 853 while (!empty) { 857 empty = list_empty(&cm_id_priv->work_list);
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | manual.tex | 60 \pagestyle{empty}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | fdsets.tex | 66 If the lower bound is the empty set (like in this case) this can be written as 70 If the lower bound is the empty set and the upper bound is a set of
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 73 \about{HandlerList} is a (possibly empty) list of handler specifications 403 (non-empty) attribute. 409 will return the intersection of these bounds. This can be empty 424 (non-empty) attribute. 584 of admissible values. If it is empty, we fail.
|
H A D | umscmdlineopts.tex | 106 The name of the ``top level module''. This is an initially empty module,
|
H A D | umsstyle.tex | 62 \item The sequence of predicates in a file is top-down with a (possibly empty)
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_control.c | 1045 SuspPrio(vs.ptr), SuspProc(vs.ptr), d_.empty, 0, 0, 0, 1095 Push_Dbg_Frame(pw, invoc, vg, tg, depth, vp.nint, proc, d_.empty, 0, 0, 0, vm.did); 1099 Make_Dbg_Frame(pw, invoc, vg, tg, depth, vp.nint, proc, d_.empty, 0, 0, 0, vm.did);
|
/barrelfish-2018-10-04/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 585 \item Queue empty condition: read-index == write-index 588 (assuming queue not empty):\newline 593 (assuming queue not empty): \newline 638 consumer whenever the consumer-queue is empty and new data-element 641 new data arrives on the empty queue, producer can assume that 642 consumer is not polling the channel as queue is empty, and hence 644 In other case where queue is non-empty, consumer is already aware of 647 more elements to non-empty queue without sending explicit 772 \item Add empty slot (from producer to generator): This message will 796 \item Create and initialize the empty lis [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | internal.tex | 66 \pagestyle{empty}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/mpslib/ |
H A D | outline.tex | 109 on the arrival of a message when the port is empty. 180 when the port is empty. Notification predicates have one parameter via 182 of the empty port on which a message arrived. 402 an event occurs, e.g. the arrival of a message on an empty port. Such
|