From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 16 Sep 2011 21:36:07 +0000 (+0000)
Subject: final(?) documentation fixes
X-Git-Tag: cvc5-1.0.0~8469
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=438bec4894e3696d80152b420d7815ff88f07797;p=cvc5.git

final(?) documentation fixes
---

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index 2ddd1d609..78014290d 100644
--- a/config/doxygen.cfg
+++ b/config/doxygen.cfg
@@ -569,7 +569,7 @@ WARN_LOGFILE           =
 # with spaces.
 
 INPUT                  = $(SRCDIR)/src \
-			 $(BUILDDIR)/src
+			 src
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding, which is
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$
diff --git a/src/theory/uf/symmetry_breaker.h b/src/theory/uf/symmetry_breaker.h
index ddbd50cbb..2b7b10209 100644
--- a/src/theory/uf/symmetry_breaker.h
+++ b/src/theory/uf/symmetry_breaker.h
@@ -14,8 +14,8 @@
  ** \brief Implementation of algorithm suggested by Deharbe, Fontaine,
  ** Merz, and Paleo, "Exploiting symmetry in SMT problems," CADE 2011
  **
- ** Implementation of algorithm suggested by Deharbe, Fontaine,
- ** Merz, and Paleo, "Exploiting symmetry in SMT problems," CADE 2011.
+ ** Implementation of algorithm suggested by Deharbe, Fontaine, Merz,
+ ** and Paleo, "Exploiting symmetry in SMT problems," CADE 2011.
  **
  ** From the paper:
  **
@@ -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$