mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Merge pull request #1779 from chiguri/javadoc_directive_correction

Browse source 
Modify javadoc directive and mis-capitalization of method name
This commit is contained in:
Nikolaj Bjorner 2018-07-31 07:19:07 -07:00 committed by GitHub
parent de9023a928 22fc5ad771
commit f22f415133
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Context.java
View file

@ -2505,7 +2505,7 @@ public class Context implements AutoCloseable {
* with the sorts of the bound variables, {@code names} is an array with the * with the sorts of the bound variables, {@code names} is an array with the
* 'names' of the bound variables, and {@code body} is the body of the * 'names' of the bound variables, and {@code body} is the body of the
* lambda. * lambda.
* Note that the bound variables are de-Bruijn indices created using {@see #MkBound} * Note that the bound variables are de-Bruijn indices created using {@link #mkBound}
* Z3 applies the convention that the last element in {@code names} and * Z3 applies the convention that the last element in {@code names} and
* {@code sorts} refers to the variable with index 0, the second to last element * {@code sorts} refers to the variable with index 0, the second to last element
* of {@code names} and {@code sorts} refers to the variable * of {@code names} and {@code sorts} refers to the variable