category
monitor
¶
Monitor predicates.
Author: Paulo Moura
Version: 1:3:0
Date: 2019-03-08
Compilation flags:
static, events
Implements:
public
monitorpRemarks:
(none)
Inherited public predicates:
Public predicates¶
(no local declarations; see entity ancestors if any)
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
spy_point_/4
¶
Stores current spy points.
Compilation flags:
dynamic
Template:
spy_point_(Event,Object,Message,Sender)
Mode and number of proofs:
spy_point_(?event,?object,?callable,?object)
- zero_or_more