next split

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 22, 2022 · 3189544 · 3189544
1 parent a7b41c4
commit 3189544
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/api/dotnet/UserPropagator.cs b/src/api/dotnet/UserPropagator.cs
@@ -298,6 +298,15 @@ public DecideEh Decide
 	   }
         }
 
+
+        /// <summary>
+        /// Set the next decision
+	/// </summary>
+	public void NextSplit(Expr e, uint idx, Z3_lbool phase)
+	{
+           Native.Z3_solver_next_split(ctx.nCtx, this.callback, e.NativeObject, idx, phase);
+	}
+
         /// <summary>
         /// Track assignments to a term
 	/// </summary>

diff --git a/src/api/java/NativeStatic.txt b/src/api/java/NativeStatic.txt
@@ -76,3 +76,4 @@ DLL_VIS JNIEXPORT void JNICALL Java_com_microsoft_z3_Native_setInternalErrorHand
 {
   Z3_set_error_handler((Z3_context)a0, Z3JavaErrorHandler);
 }
+