Searched refs:empty (Results 26 - 50 of 133) sorted by relevance

123456

/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dassoc.pl22 % This stores association pairs in a tree structure; the empty tree
24 % empty tree
150 record(tree,t,_), % Create an empty tree
H A Dintervals.pl109 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 Dflat.pl62 should be used when the Operator has no Unit, if given an empty
/barrelfish-2018-10-04/lib/libc/regex/
H A Dengine.c94 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 Dengine.c45 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 Dembroot.tex92 \pagestyle{empty}
H A Dembsumcxx.tex120 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 Dembexdr.tex64 Nil & \nil /0 & empty string & java.util.Collection\\
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dvisualisation.tex101 \pagestyle{empty}
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/
H A Dbasic.pl68 empty([]).
162 not(empty(Subset)).
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/
H A Dmath-eager.pl24 coca(try_rule(D, equals([], A), empty, equals([], E), replacement, true, zero(E))),
27 coca(fired_rule(empty)),
H A Dtime.pl13 delay empty(_261, _264, _267) if var(_261), var(_264).
14 empty(0, [], _349).
H A Dpc.pl104 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 Dheaps.pl55 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 Dhttp_server.pl208 - 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 Diwcm.c847 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 Dmanual.tex60 \pagestyle{empty}
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dfdsets.tex66 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 Dextmeta.tex73 \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 Dumscmdlineopts.tex106 The name of the ``top level module''. This is an initially empty module,
H A Dumsstyle.tex62 \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 Dbip_control.c1045 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 Dbulk-transfer.tex585 \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 Dinternal.tex66 \pagestyle{empty}
/barrelfish-2018-10-04/usr/eclipseclp/documents/mpslib/
H A Doutline.tex109 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

Completed in 481 milliseconds

123456