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



\begin{summarylist}{ll}
\predicatesummary{incr_directly_depends}{2}{True if Goal1 depends on Goal2 in the IDG.}
\predicatesummary{incr_invalid_subgoals}{1}{List is a sorted list (set) of the incremental subgoals that are currently invalid.}
\predicatesummary{incr_invalidate_call}{1}{This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed.}
\predicatesummary{incr_invalidate_calls}{1}{Invalidate all tables for subgoals of Goal as well as tables that are affected by these.}
\predicatesummary{incr_is_invalid}{1}{True when Subgoal's table is marked as invalid.}
\predicatesummary{incr_propagate_calls}{1}{Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate.}
\predicatesummary{incr_table_update}{0}{Updated all invalid tables.}
\predicatesummary{incr_trans_depends}{2}{True for each pair in the transitive closure of incr_directly_depends(G1, G2).}
\predicatesummary{is_incremental_subgoal}{1}{This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries.}
\end{summarylist}