mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 11:25:51 +00:00
Code Activity

Merge pull request #1991 from waywardmonkeys/fix-java-api-swap-params

Browse source 
Fix java api swap params
This commit is contained in:
Nikolaj Bjorner 2018-11-29 20:53:08 -08:00 • committed by GitHub
commit b0d5b242f1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3356,7 +3356,7 @@ public class Context implements AutoCloseable {
}
/**
* Create a numeral of FloatingPoint sort from a float.
* Create a numeral of FloatingPoint sort from a double.
* @param v numeral value.
* @param s FloatingPoint sort.
* @throws Z3Exception
@ -3368,7 +3368,7 @@ public class Context implements AutoCloseable {
/**
* Create a numeral of FloatingPoint sort from an int.
* * @param v numeral value.
* @param v numeral value.
* @param s FloatingPoint sort.
* @throws Z3Exception
**/
@ -3380,8 +3380,8 @@ public class Context implements AutoCloseable {
/**
* Create a numeral of FloatingPoint sort from a sign bit and two integers.
* @param sgn the sign.
* @param sig the significand.
* @param exp the exponent.
* @param sig the significand.
* @param s FloatingPoint sort.
* @throws Z3Exception
**/
@ -3393,8 +3393,8 @@ public class Context implements AutoCloseable {
/**
* Create a numeral of FloatingPoint sort from a sign bit and two 64-bit integers.
* @param sgn the sign.
* @param sig the significand.
* @param exp the exponent.
* @param sig the significand.
* @param s FloatingPoint sort.
* @throws Z3Exception
**/
@ -3415,7 +3415,7 @@ public class Context implements AutoCloseable {
}
/**
* Create a numeral of FloatingPoint sort from a float.
* Create a numeral of FloatingPoint sort from a double.
* @param v numeral value.
* @param s FloatingPoint sort.
* @throws Z3Exception
@ -3447,7 +3447,7 @@ public class Context implements AutoCloseable {
**/
public FPNum mkFP(boolean sgn, int exp, int sig, FPSort s)
{
return mkFPNumeral(sgn, sig, exp, s);
return mkFPNumeral(sgn, exp, sig, s);
}
/**
@ -3460,7 +3460,7 @@ public class Context implements AutoCloseable {
**/
public FPNum mkFP(boolean sgn, long exp, long sig, FPSort s)
{
return mkFPNumeral(sgn, sig, exp, s);
return mkFPNumeral(sgn, exp, sig, s);
}