category

monitor

Monitor predicates.

Author: Paulo Moura
Version: 1.3
Date: 2019/3/8
Compilation flags:
static, events
Implements:
public monitorp
Remarks:
(none)

Public predicates

(see entity ancestors)

Protected predicates

(see entity ancestors)

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)