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