category
monitor¶
Monitor predicates.
Author: Paulo Moura
Version: 1.3
Date: 2019/3/8
Compilation flags:
static, eventsImplements:
public monitorpPublic interface¶
(see related entities)
Protected interface¶
(see related entities)
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_moreOperators¶
(none)
Remarks¶
(none)