# HG changeset patch
# User blanchet
# Date 1280673648 -7200
# Node ID 83933448e9b7ad950ebaef516d4455cf6a3dbb6e
# Parent  9f9f696fc4e8af681dd81b6770372e441fb28858
document new Nitpick options

diff -r 9f9f696fc4e8 -r 83933448e9b7 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Sun Aug 01 16:35:25 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Sun Aug 01 16:40:48 2010 +0200
@@ -2500,6 +2500,18 @@
 Unless you are tracking down a bug in Nitpick or distrust the peephole
 optimizer, you should leave this option enabled.
 
+\opdefault{datatype\_sym\_break}{int}{5}
+Specifies an upper bound on the number of datatypes for which Nitpick generates
+symmetry breaking predicates. Symmetry breaking can speed up the SAT solver
+considerably, especially for unsatisfiable problems, but too much of it can slow
+it down.
+
+\opdefault{kodkod\_sym\_break}{int}{15}
+Specifies an upper bound on the number of relations for which Kodkod generates
+symmetry breaking predicates. Symmetry breaking can speed up the SAT solver
+considerably, especially for unsatisfiable problems, but too much of it can slow
+it down.
+
 \opdefault{max\_threads}{int}{0}
 Specifies the maximum number of threads to use in Kodkod. If this option is set
 to 0, Kodkod will compute an appropriate value based on the number of processor