category

monitor

Monitor predicates.

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

Public 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)