9.4.1 CHR debug ports

For CHR constraints the four standard ports are defined:

call

A new constraint is called and becomes active.

exit

An active constraint exits: it has either been inserted in the store after trying all rules or has been removed from the constraint store.

fail

An active constraint fails.

redo

An active constraint starts looking for an alternative solution.

In addition to the above ports, CHR constraints have five additional ports:

wake

A suspended constraint is woken and becomes active.

insert

An active constraint has tried all rules and is suspended in the constraint store.

remove

An active or passive constraint is removed from the constraint store.

try

An active constraint tries a rule with possibly some passive constraints. The try port is entered just before committing to the rule.

apply

An active constraint commits to a rule with possibly some passive constraints. The apply port is entered just after committing to the rule.