tipc_service_exists/1

Availability::- use_module(library(tipc/tipc)).

[semidet]tipc_service_exists(+Address, +Timeout)

[semidet]tipc_service_exists(+Address)

Interrogates the TIPC topology server to see if a service is available at an advertised Address.

Address is one of: name(Type, Instance, Domain) or name_seq(Type, Lower, Upper). A name/3, address is translated to a name_seq/3, following, where Lower and Upper are assigned the value of Instance. Domain is unused and must be zero. A name_seq(Type, Lower, Upper) is a multi-cast address. This predicate succeeds if there is at least one service that would answer according to multi-cast addressing rules.

Timeout is optional. It is a non-negative real number that specifies the amount of time in seconds to block and wait for a service to become available. Fractions of a second are also permissible.