mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

FPA API documentation fixes

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-04-23 18:39:36 +01:00
parent 3e5a702073
commit 0279a1042d
3 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/dotnet/Context.cs
View file

@ -3507,7 +3507,6 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Create a floating point NaN numeral. /// Create a floating point NaN numeral.
/// </summary> /// </summary>
/// <param name="v">A string representing the value in decimal notation.</param>
/// <param name="s">floating point sort.</param> /// <param name="s">floating point sort.</param>
public FPNum MkFPNaN(FPSort s) public FPNum MkFPNaN(FPSort s)
{ {
@ -3518,7 +3517,6 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Create a floating point Inf numeral. /// Create a floating point Inf numeral.
/// </summary> /// </summary>
/// <param name="v">A string representing the value in decimal notation.</param>
/// <param name="s">floating point sort.</param> /// <param name="s">floating point sort.</param>
/// <param name="negative">indicates whether the result should be negative.</param> /// <param name="negative">indicates whether the result should be negative.</param>
public FPNum MkFPInf(FPSort s, bool negative) public FPNum MkFPInf(FPSort s, bool negative)
@ -3625,6 +3623,7 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Floating-point square root /// Floating-point square root
/// </summary> /// </summary>
/// <param name="rm">rounding mode term</param>
/// <param name="t">floating point term</param> /// <param name="t">floating point term</param>
public FPExpr MkFPSqrt(FPRMExpr rm, FPExpr t) public FPExpr MkFPSqrt(FPRMExpr rm, FPExpr t)
{ {

1
src/api/dotnet/FPExpr.cs
View file

@ -31,6 +31,7 @@ namespace Microsoft.Z3
public class FPExpr : Expr public class FPExpr : Expr
{ {
#region Internal #region Internal
/// <summary> Constructor for FPExpr </summary>
internal protected FPExpr(Context ctx) internal protected FPExpr(Context ctx)
: base(ctx) : base(ctx)
{ {

1
src/api/dotnet/FPRMExpr.cs
View file

@ -31,6 +31,7 @@ namespace Microsoft.Z3
public class FPRMExpr : Expr public class FPRMExpr : Expr
{ {
#region Internal #region Internal
/// <summary> Constructor for FPRMExpr </summary>
internal protected FPRMExpr(Context ctx) internal protected FPRMExpr(Context ctx)
: base(ctx) : base(ctx)
{ {