Skip to content

Commit

Permalink
refactor: bound type is now float
Browse files Browse the repository at this point in the history
  • Loading branch information
zaibod committed Nov 25, 2024
1 parent aeacc2f commit 2fc4dac
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/main/java/edu/kit/provideq/toolbox/Bound.java
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,5 @@
* @param value the estimated value
* @param boundType the type of the bound
*/
public record Bound(Float value, BoundType boundType) {
public record Bound(float value, BoundType boundType) {
}
2 changes: 1 addition & 1 deletion src/main/java/edu/kit/provideq/toolbox/api/BoundDto.java
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
import edu.kit.provideq.toolbox.BoundType;
import edu.kit.provideq.toolbox.BoundWithInfo;

public record BoundDto(Float bound, BoundType boundType, long executionTime) {
public record BoundDto(float bound, BoundType boundType, long executionTime) {
public BoundDto(BoundWithInfo boundWithInfo) {
this(
boundWithInfo.bound().value(),
Expand Down

0 comments on commit 2fc4dac

Please sign in to comment.