Sometimes the output of the built-in visualizer is inadequate. There might be cases when only minor changes are necessary to produce a more readable output; in other cases, the trace output should be completely reorganized. FDBG provides two ways of changing the appearance of the output by defining hook predicates. In this section, these predicates will be described in detail.
|• FDBG Customizing Output:||Customizing Output|
|• FDBG Writing Visualizers:||Writing Visualizers|
|• FDBG Writing Legend Printers:||Writing Legend Printers|
|• FDBG Showing Selected Constraints (simple version):||Showing Selected Constraints (simple version)|
|• FDBG Showing Selected Constraints (advanced version):||Showing Selected Constraints (advanced version)|
|• FDBG Debugging Global Constraints:||Debugging Global Constraints|