projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba893aa) | patch
Better user documentation for mkVar() and mkBoundVar().
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 18:55:55 +0000 (14:55 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 20:46:22 +0000 (16:46 -0400)
commita399bd138c387820e0d441372a7dbe7bee1dd0f4
tree4d3e778a31fa1c1d679f1e49f33fc8a508e1105btree
parentba893aaccd2f60168db6a50eccd947d7cf7f3069commit | diff
Better user documentation for mkVar() and mkBoundVar().

Thanks to Alex Horn for raising the issue on the CVC-BUGS mailing list.
src/expr/expr_manager_template.h diff | blob | history