category

monitor

Monitor predicates.

author:
Paulo Moura
version:
1.2
date:
2009/10/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 – number of proofs:
spy_point_(?event,?object,?callable,?object) – zero_or_more

Operators

(none)

Remarks

(none)