tipc

Prolog files

tipc.pl  -- TIPC Sockets
tipc_accept/3	Blocks on a server socket and waits for connection requests from clients.
tipc_bind/3	Associates/disassociates a socket with the name/3 or name_seq/3 address specified in Address.
tipc_canonical_address/2	Translates a port_id/2 address into canonical TIPC form:.
tipc_close_socket/1	Closes the indicated socket, making SocketId invalid.
tipc_connect/2	Provides a connection-oriented, client-interface to connect a socket to a given TIPC_address.
tipc_get_name/2	Unifies TIPC_address with the port-id assigned to the socket.
tipc_get_peer_name/2	Unifies TIPC_address with the port-id assigned to the socket that this socket is connected to.
tipc_initialize/0	causes the TIPC service and the TIPC stack to be initialized and made ready for service.
tipc_listen/2	Listens for incoming requests for connections.
tipc_open_socket/3	Opens two SWI-Prolog I/O-streams, one to deal with input from the socket and one with output to the socket.
tipc_receive/4	Waits for, and returns the next datagram.
tipc_send/4	sends a TIPC datagram to one or more destinations.
tipc_service_exists/1	Interrogates the TIPC topology server to see if a service is available at an advertised Address.
tipc_service_exists/2	Interrogates the TIPC topology server to see if a service is available at an advertised Address.
tipc_service_port_monitor/2	Monitors a collection of worker threads that are bound to a list of Addresses.
tipc_service_port_monitor/3	Monitors a collection of worker threads that are bound to a list of Addresses.
tipc_service_probe/1	Allows a user to discover the instance ranges and/or port-ids for a particular service.
tipc_service_probe/2	Allows a user to discover the instance ranges and/or port-ids for a particular service.
tipc_setopt/2	Sets options on the socket.
tipc_socket/2	Creates a TIPC-domain socket of the type specified by SocketType, and unifies it to an identifier, SocketId.
tipc_broadcast.pl  -- A TIPC Broadcast Bridge
tipc_linda.pl  -- A Process Communication Interface
tipc_paxos.pl  -- Paxos on TIPC
tipc_paxos_get/1
tipc_paxos_get/2
tipc_paxos_on_change/2
tipc_paxos_set/1
tipc_paxos_set/2