% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\subsection{library(tipc/tipc_paxos): Paxos on TIPC}

\label{sec:tipcpaxos}

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 \file{library(paxos)} and can be used with other distributed
implementations of \file{library(broadcast)} such as \verb$library(udb_broadcast)$.\vspace{0.7cm}

\begin{description}
    \predicate[semidet]{tipc_paxos_set}{1}{?Term}
\nodescription
    \predicate[semidet]{tipc_paxos_get}{1}{?Term}
\nodescription
    \predicate[semidet]{tipc_paxos_get}{2}{?Term, +Options}
\nodescription
    \predicate[semidet]{tipc_paxos_set}{2}{?Term, +Options}
\nodescription
    \predicate[det]{tipc_paxos_on_change}{2}{?Term, :Goal}

    \predicate[semidet]{tipc_initialize}{0}{}
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. \textit{Please note the change of the API.}
\end{description}