* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).

* Remove sat_module.cpp, which was no longer used (was previously refactored?)

3 files changed, 14 insertions, 10 deletions

diff --git a/src/bindings/compat/c/c_interface.h b/src/bindings/compat/c/c_interface.h
index 14fea7478..379097c27 100644
--- a/src/bindings/compat/c/c_interface.h
+++ b/src/bindings/compat/c/c_interface.h
@@ -12,7 +12,7 @@
  * License to use, copy, modify, sell and/or distribute this software
  * and its documentation for any purpose is hereby granted without
  * royalty, subject to the terms and conditions defined in the \ref
- * LICENSE file provided with this distribution.
+ * COPYING file provided with this distribution.
  *
  * <hr>
  *
@@ -66,6 +66,8 @@ Type vc_subRangeType(VC vc, int lowerEnd, int upperEnd);
 
 //! Creates a subtype defined by the given predicate
 /*!
+ * \param vc the validity checker
+ *
  * \param pred is a predicate taking one argument of type T and returning
  * Boolean.  The resulting type is a subtype of T whose elements x are those
  * satisfying the predicate pred(x).
@@ -298,6 +300,7 @@ Expr vc_ratExprFromStr(VC vc, char* n, char* d, int base);
 
 //! Create a rational from a single string.
 /*!
+  \param vc the validity checker
   \param n can be a string containing an integer, a pair of integers
   "nnn/ddd", or a number in the fixed or floating point format.
   \param base is the base in which to interpret the string.
@@ -442,7 +445,8 @@ Expr vc_datatypeTestExpr(VC vc, char* constructor, Expr arg);
 // Quantifiers
 
 //! Create a bound variable.
-/*! \param name
+/*! \param vc the validity checker
+ * \param name
  * \param uid is a fresh unique string to distinguish this variable
  * from other bound variables with the same name
  * \param type
diff --git a/src/bindings/compat/c/c_interface_defs.h b/src/bindings/compat/c/c_interface_defs.h
index ee6c09e13..f30e9b797 100644
--- a/src/bindings/compat/c/c_interface_defs.h
+++ b/src/bindings/compat/c/c_interface_defs.h
@@ -1,9 +1,9 @@
 /*****************************************************************************/
 /*!
  * \file c_interface_defs.h
- * 
+ *
  * Author: Clark Barrett
- * 
+ *
  * Created: Thu Jun  5 13:16:26 2003
  *
  * <hr>
@@ -11,10 +11,10 @@
  * License to use, copy, modify, sell and/or distribute this software
  * and its documentation for any purpose is hereby granted without
  * royalty, subject to the terms and conditions defined in the \ref
- * LICENSE file provided with this distribution.
- * 
+ * COPYING file provided with this distribution.
+ *
  * <hr>
- * 
+ *
  */
 /*****************************************************************************/
 
diff --git a/src/bindings/compat/java/formula_value.h b/src/bindings/compat/java/formula_value.h
index 79f31f404..efcd32eea 100644
--- a/src/bindings/compat/java/formula_value.h
+++ b/src/bindings/compat/java/formula_value.h
@@ -1,6 +1,6 @@
 /*****************************************************************************/
 /*!
- *\file formulavalue.h
+ *\file formula_value.h
  *\brief enumerated type for value of formulas
  *
  * Author: Alexander Fuchs
@@ -13,7 +13,7 @@
  * and its documentation for any purpose is hereby granted without
  * royalty, subject to the terms and conditions defined in the \ref
  * LICENSE file provided with this distribution.
- * 
+ *
  * <hr>
  */
 /*****************************************************************************/
@@ -31,7 +31,7 @@ namespace CVC3 {
 typedef enum FormulaValue {
   TRUE_VAL,
   FALSE_VAL,
-  UNKNOWN_VAL 
+  UNKNOWN_VAL
 } FormulaValue;
 
 }