11.3.70 execution_state/[1,2] [development]

Synopsis

execution_state(+Tests)

Tests are satisfied in the current state of the execution.

execution_state(+FocusConditions, +Tests)

Tests are satisfied in the state of the execution pointed to by FocusConditions.

Arguments

FocusConditions

term

:Tests

term

See Also

Built-in Predicates for Breakpoint Handling, Breakpoint Predicates.