11.7. Visualizing

11.7.1. Visualizing the model

11.7.1.1. DebugString for small parts

11.7.1.2. ModelVisitors for the whole model

11.7.2. Visualizing the search

11.7.2.1. gflags‘s command line flags

11.7.2.2. The TreeMonitor class