category
monitor¶
Monitor predicates.
Author: Paulo Moura
Version: 1.3
Date: 2019/3/8
Compilation flags:
static, eventsImplements:
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:
dynamicTemplate:
spy_point_(Event,Object,Message,Sender)Mode and number of proofs:
spy_point_(?event,?object,?callable,?object) - zero_or_more