An FDBG event can (currently) belong to one of the two following major
- constraint event
- A constraint is woken.
- labeling event
- Three events belong to this class, namely:
- the labeling of an FD variable is started
- an FD variable gets constrained
- the labeling of an FD variable fails, i.e. all elements of its
domain have been tried and caused failure
These events are intercepted by the FDBG core. When any of them occurs,
the appropriate visualizer (see FDBG Visualizers) gets called with a
representation of the event (a Prolog term) as extra
Send feedback on this subject.