IBM ILOG Solver Debugger User's Manual > Debugging and Performance Tuning for Solver-based Applications > Combining Search Tree Visualization and Propagation Information > Creating the Christmas Tree

You can change the representation of the Search Tree to visualize propagation statistics by changing the color and size of the nodes. To do so:

  1. Right-click in the search tree background on a node. A context-sensitive menu appears. Select the "Tree Inspector..." menu item.
  2. Select Type and Domain Reduction for Node color and Propagation Events for Node size.

images/selectxmastree.gif

  1. The Christmas Tree appears in the Search Tree view.

images/golombBasic6ct.gif

To obtain statistics on domain reduction, you must register the variables you are interested in with IloSolverDebugger::registerVariable for pure Solver variables and IlcSchedulerDebugger::registerActivity for Scheduler activities, and pass IloTrue as a third argument.