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



\begin{summarylist}{ll}
\predicatesummary{assert_predicate_options}{4}{As predicate_options(:PI, +Arg, +Options).}
\predicatesummary{check_predicate_option}{3}{Verify predicate options at runtime.}
\predicatesummary{check_predicate_options}{0}{Analyse loaded program for erroneous options.}
\predicatesummary{current_option_arg}{2}{True when Arg of PI processes predicate options.}
\predicatesummary{current_predicate_option}{3}{True when Arg of PI processes Option.}
\predicatesummary{current_predicate_options}{3}{True when Options is the current active option declaration for PI on Arg.}
\predicatesummary{derive_predicate_options}{0}{Derive new predicate option declarations.}
\predicatesummary{derived_predicate_options}{1}{Derive predicate option declarations for a module.}
\predicatesummary{derived_predicate_options}{3}{Derive option arguments using static analysis.}
\predicatesummary{predicate_options}{3}{Declare that the predicate PI processes options on Arg.}
\predicatesummary{retractall_predicate_options}{0}{Remove all dynamically (derived) predicate options.}
\end{summarylist}