Did you know ... Search Documentation:
tipc_paxos.pl -- Paxos on TIPC
PublicShow source

This module provides compatibility for using paxos over TIPC. As of SWI-Prolog 7.7.15 the core of this module has been moved to the core library as library(paxos) and can be used with other distributed implementations of library(broadcast) such as library(udb_broadcast).

Source tipc_paxos_set(?Term) is semidet
Source tipc_paxos_get(?Term) is semidet
Source tipc_paxos_get(?Term, +Options) is semidet
Source tipc_paxos_set(?Term, +Options) is semidet
Source tipc_paxos_on_change(?Term, :Goal) is det

Re-exported predicates

The following predicates are re-exported from other modules

Source tipc_initialize is semidet
causes the TIPC service and the TIPC stack to be initialized and made ready for service. An application must call this predicate as part of its initialization prior to any use of TIPC predicates. Please note the change of the API.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source tipc_paxos_on_change(Arg1, Arg2)
Source tipc_paxos_set(Arg1, Arg2)
Source tipc_paxos_get(Arg1, Arg2)
Source tipc_paxos_get(Arg1)