From b050ac7c7c3a7814d2eed8a16716ad87ab6e23b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 13 Oct 2014 19:11:20 -0700
Subject: [PATCH] using properties
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/api/dotnet/Optimize.cs | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/api/dotnet/Optimize.cs b/src/api/dotnet/Optimize.cs
index eb8281e5f..ed7d1d60a 100644
--- a/src/api/dotnet/Optimize.cs
+++ b/src/api/dotnet/Optimize.cs
@@ -101,25 +101,25 @@ namespace Microsoft.Z3
/// <summary>
/// Retrieve a lower bound for the objective handle.
/// </summary>
- public ArithExpr Lower()
+ public ArithExpr Lower
{
- return opt.GetLower(handle);
+ get { return opt.GetLower(handle); }
}
/// <summary>
/// Retrieve an upper bound for the objective handle.
/// </summary>
- public ArithExpr Upper()
+ public ArithExpr Upper
{
- return opt.GetUpper(handle);
+ get { return opt.GetUpper(handle); }
}
/// <summary>
/// Retrieve the value of an objective.
/// </summary>
- public ArithExpr Value()
+ public ArithExpr Value
{
- return Lower();
+ get { return Lower; }
}
}