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



\begin{summarylist}{ll}
\predicatesummary{list_tracing}{0}{List predicates we are currently tracing.}
\predicatesummary{notraceall}{0}{Remove all trace points.}
\predicatesummary{trace}{1}{Print passes through _ports_ of specified predicates.}
\predicatesummary{trace}{2}{Print passes through _ports_ of specified predicates.}
\predicatesummary{tracing}{2}{True if Spec is traced using Ports.}
\end{summarylist}