Since Solver is a C++ library, you can use any C++ development environment to develop and debug applications that exploit Solver. In addition, there are certain supplementary features offered by Solver for tracing constraint propagation, and this chapter shows you how to use those facilities. Among other topics, this chapter describes how to:
-
trace the modifications of some or all constrained variables;
-
distinguish between direct modifications made by a program and derived modifications made by propagation of constraints;
-
report the cause of each constraint propagation;
-
generate trace messages in the standard output or in a file.
PREVIOUS
NEXT