diff options
Diffstat (limited to 'src/bindings/compat')
-rw-r--r-- | src/bindings/compat/c/c_interface.h | 8 | ||||
-rw-r--r-- | src/bindings/compat/c/c_interface_defs.h | 10 | ||||
-rw-r--r-- | src/bindings/compat/java/formula_value.h | 6 |
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; } |