From aeacc2f9cc7c4b09f9cf2c5237ace02596d4b6e6 Mon Sep 17 00:00:00 2001
From: zaibod <92274292+zaibod@users.noreply.github.com>
Date: Mon, 25 Nov 2024 13:21:36 +0100
Subject: [PATCH] refactor: bound value type is now Float

---
 src/main/java/edu/kit/provideq/toolbox/Bound.java        | 2 +-
 src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/kit/provideq/toolbox/Bound.java b/src/main/java/edu/kit/provideq/toolbox/Bound.java
index b1aabf62..6a813cf4 100644
--- a/src/main/java/edu/kit/provideq/toolbox/Bound.java
+++ b/src/main/java/edu/kit/provideq/toolbox/Bound.java
@@ -6,5 +6,5 @@
  * @param value the estimated value
  * @param boundType the type of the bound
  */
-public record Bound(String value, BoundType boundType) {
+public record Bound(Float value, BoundType boundType) {
 }
diff --git a/src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java b/src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java
index ca4b9c15..18350ee9 100644
--- a/src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java
+++ b/src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java
@@ -3,7 +3,7 @@
 import edu.kit.provideq.toolbox.BoundType;
 import edu.kit.provideq.toolbox.BoundWithInfo;
 
-public record BoundDto(String bound, BoundType boundType, long executionTime) {
+public record BoundDto(Float bound, BoundType boundType, long executionTime) {
   public BoundDto(BoundWithInfo boundWithInfo) {
     this(
         boundWithInfo.bound().value(),