diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:36:07 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:36:07 +0000 |
| commit | 438bec4894e3696d80152b420d7815ff88f07797 (patch) | |
| tree | d6077e1249255cbf7d9833e46843104795cbbc5b /src/theory/uf/symmetry_breaker.cpp | |
| parent | a7488622a5c3120899c6c6c6e6546fc706040312 (diff) | |
final(?) documentation fixes
Diffstat (limited to 'src/theory/uf/symmetry_breaker.cpp')
| -rw-r--r-- | src/theory/uf/symmetry_breaker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/symmetry_breaker.cpp b/src/theory/uf/symmetry_breaker.cpp index 1855aa59b..5761ee4f5 100644 --- a/src/theory/uf/symmetry_breaker.cpp +++ b/src/theory/uf/symmetry_breaker.cpp @@ -24,7 +24,7 @@ ** foreach \f$ {c_0, ..., c_n} \in P \f$ do ** if \f$ invariant\_by\_permutations(\phi, {c_0, ..., c_n}) \f$ then ** T := \f$ select\_terms(\phi, {c_0, ..., c_n}) \f$ - ** cts := \f$ \empty \f$ + ** cts := \f$ \emptyset \f$ ** while T != \f$ \empty \wedge |cts| <= n \f$ do ** \f$ t := select\_most\_promising\_term(T, \phi) \f$ ** \f$ T := T \setminus {t} \f$ |