Next: CHR Tracing, Up: CHR Debugging [Contents][Index]
For CHR constraints the four standard ports are defined:
callA new constraint is called and becomes active.
exitAn active constraint exits: it has either been inserted in the store after trying all rules or has been removed from the constraint store.
failAn active constraint fails.
redoAn active constraint starts looking for an alternative solution.
In addition to the above ports, CHR constraints have five additional ports:
wakeA suspended constraint is woken and becomes active.
insertAn active constraint has tried all rules and is suspended in the constraint store.
removeAn active or passive constraint is removed from the constraint store.
tryAn active constraints tries a rule with possibly some passive constraints. The try port is entered just before committing to the rule.
applyAn active constraints commits to a rule with possibly some passive constraints. The apply port is entered just after committing to the rule.