tipc:tipc_service

tipc_service_exists(+Address, +Timeout) is semidet

tipc_service_exists(+Address) is semidet

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

Arguments:

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.