Because of the nondeterministic nature of the search, it is not possible to draw the tree in advance. A second run is necessary to focus on a segment of the tree.

You can access statistical information about the Initial Propagation through the Search Tree root.

Tracing the Propagation at a Specific Node in the Search Tree

To trace the propagation at a specific node, proceed as follows:

Adding Breakpoints in Your Code

You can register conditional breakpoints in your code so that as soon as a condition becomes true, the execution is interrupted. You can use three types of conditional breakpoints:

For example, in the debugjobshopm example, uncomment the following line:

debugger.breakIfDomainMaxLe(_makespan),60);

The execution will be interrupted when the maximum of the makespan domain is lower than or equal to the value 60.

Conditional breakpoints are extracted by the initialize member function. So make sure you set the conditional breakpoints before the call to the member function IlcSolverDebugger::initialize().

You can also call the member function IlcSolverDebugger::breakExecution() in your own goals.