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(),