Forgot epxloration event

forsyde · Jul 10, 2024 · d7360ec · d7360ec
1 parent ecae890
commit d7360ec
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -106,7 +106,7 @@ lazy val common = (project in file("scala-common"))
     // name := "idesyde-scala-common",
     libraryDependencies ++= Seq(
       "com.lihaoyi"               %% "upickle"         % upickleVersion,
-      "com.github.forsyde.IDeSyDe" % "build-java-core" % globalIDeSyDeJavaVersion,
+      "com.github.forsyde.IDeSyDe" % "java-core" % globalIDeSyDeJavaVersion,
       // "com.github.forsyde.IDeSyDe" % "build-java-blueprints" % globalIDeSyDeJavaVersion,
       "org.jgrapht" % "jgrapht-core" % jgraphtVersion,
       // ("org.scala-graph" %% "graph-core" % scalaGraphVersion).cross(CrossVersion.for3Use2_13),

diff --git a/java-core/src/main/java/idesyde/core/ExplorationEvent.java b/java-core/src/main/java/idesyde/core/ExplorationEvent.java
@@ -0,0 +1,10 @@
+package idesyde.core;
+
+import java.util.Optional;
+
+public record ExplorationEvent(
+    Optional<ExplorationSolution> solution,
+    Boolean optimalityProved
+) {
+
+}