diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
| commit | 39031822cf3f9faab7b5b9e6cbce46a5194503b1 (patch) | |
| tree | 7f95265819554a20a2ef4637a4a8a6a83a7cfc0b /src/expr/expr_manager_template.h | |
| parent | d4bfaa103d56d5c0172bf1457343a75ddea8a9b5 (diff) | |
enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some documentation, and make it possible to "make doc" on a clean source tree (post-configure)
Diffstat (limited to 'src/expr/expr_manager_template.h')
| -rw-r--r-- | src/expr/expr_manager_template.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 21526809e..e5df3ced3 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -114,6 +114,7 @@ public: /** * Make a unary expression of a given kind (NOT, BVNOT, ...). + * @param kind the kind of expression * @param child1 kind the kind of expression * @return the expression */ @@ -192,7 +193,7 @@ public: * suitably-sized chunks, taking advantage of the associativity of * <code>kind</code>. For example, if kind <code>FOO</code> has max arity * 2, then calling <code>mkAssociative(FOO,a,b,c)</code> will return - * <code>(FOO (FOO a b) c)</code> or code>(FOO a (FOO b c))</code>. + * <code>(FOO (FOO a b) c)</code> or <code>(FOO a (FOO b c))</code>. * The order of the arguments will be preserved in a left-to-right * traversal of the resulting tree. */ |