/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 332 bind \about{Res} to \notation{=} iff the terms are variants, 370 \about{AttrVar} is an attributed variable. The handler should bind 404 The handler should bind \about{Lwb} and \about{Upb} to numbers 587 Otherwise, we bind it to a new attributed variable whose attribute represents
|
H A D | umsmacros.tex | 142 variable which the transformation predicate should bind to the transformed 148 should bind the fourth argument to the annotated transformed term; 151 bind the fourth argument. In both \pattern{TransPred} cases, the optional last 417 a variable, and the predicate must not bind the transformed annotated term.
|
H A D | umsexcept.tex | 508 Note that the handler could bind Y which would have the same effect
|
H A D | umsio.tex | 271 If it is uninstantiated, the system will bind it to an anonymous stream handle:
|
H A D | exthsusp.tex | 308 \item the body subgoals must not bind any variable in the call and they
|
/barrelfish-2018-10-04/lib/posixcompat/ |
H A D | sockets.c | 429 int bind(int sockfd, const struct sockaddr *addr, socklen_t addrlen) function 440 POSIXCOMPAT_DEBUG("bind(%d, %p (%s), %u)\n", sockfd, addr, 991 if(bind(sockfd[0], (struct sockaddr *)&tmpaddr, sizeof(tmpaddr)) != 0) {
|
/barrelfish-2018-10-04/lib/net_sockets/ |
H A D | net_sockets.c | 168 err = binding->rpc_tx_vtbl.bind(binding, socket->descriptor, ip_address.s_addr, port, &error, &bound_port);
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bio/ |
H A D | b_sock.c | 734 if (bind(s,&server.sa,addrlen) == -1)
|
/barrelfish-2018-10-04/usr/replay/ |
H A D | slave.c | 487 int r = bind(listensock, (struct sockaddr *)&a, sizeof(a)); 489 printf("bind: %s\n", strerror(errno));
|
H A D | master.c | 937 ret = bind(sl->socket, (struct sockaddr *)&a, sizeof(a)); 939 perror("bind");
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | prolog.tex | 446 \item[Unification] An extension of pattern matching which can bind logical 571 % cause {\tt Country} to bind to 582 % would bind {\tt City} to {\tt london}, and {\tt Country} to {\tt england}.
|
H A D | eprolog.tex | 491 \bipref{bind/2}{../bips/kernel/iostream/bind-2.html},
|
/barrelfish-2018-10-04/doc/018-Practical-guide/ |
H A D | helloWorldApp.tex | 269 USER_PANIC_ERR(err, "bind failed");
|
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | nsrv_server.c | 1748 if (bind(nsrv_ctrl_sock, 1782 nsrv_perror_and_assert_always("bind()");
|
H A D | bmsg.msg.c | 6239 if (bind(ctrl_sock, 6242 bmsg_perror_and_assert_always("bmsg_init() : bind() ");
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | eplex.tex | 362 eplex_solve/1} binds the objective value, but does not bind the problem 508 directly bind {\tt Cost} to the objective value. Instead, the objective 1169 behaviour is to bind Cost to infinity (positive or negative
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_io.c | 432 built_in(in_dict("bind", 2), p_bind, B_UNSAFE|U_GROUND) 2935 if (bind(StreamUnit(nst), (struct sockaddr *) &name, 2997 if (bind((socket_t) StreamUnit(nst), (struct sockaddr *) &name, sizeof(name)) != 0) {
|
/barrelfish-2018-10-04/usr/eclipseclp/Shm/src/ |
H A D | configure | 369 -bindir | --bindir | --bindi | --bind | --bin | --bi) 371 -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
|
/barrelfish-2018-10-04/usr/eclipseclp/ |
H A D | configure | 895 -bindir | --bindir | --bindi | --bind | --bin | --bi) 897 -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*) 2928 # the symbol from outside of the symbolically bound object will bind to
|
/barrelfish-2018-10-04/doc/000-overview/ |
H A D | Overview.tex | 570 \item Monitors route inter-core bind requests for communication
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | cma.c | 2248 ret = sock->ops->bind(sock,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embremote.tex | 706 bind .ec_stream_input_box.input <Return> {destroy .ec_stream_input_box}
|