DotNet Reference
DotNet Reference
operations_research_satPINVOKE.cs
Go to the documentation of this file.
20 static ExceptionDelegate applicationDelegate = new ExceptionDelegate(SetPendingApplicationException);
21 static ExceptionDelegate arithmeticDelegate = new ExceptionDelegate(SetPendingArithmeticException);
22 static ExceptionDelegate divideByZeroDelegate = new ExceptionDelegate(SetPendingDivideByZeroException);
23 static ExceptionDelegate indexOutOfRangeDelegate = new ExceptionDelegate(SetPendingIndexOutOfRangeException);
24 static ExceptionDelegate invalidCastDelegate = new ExceptionDelegate(SetPendingInvalidCastException);
25 static ExceptionDelegate invalidOperationDelegate = new ExceptionDelegate(SetPendingInvalidOperationException);
27 static ExceptionDelegate nullReferenceDelegate = new ExceptionDelegate(SetPendingNullReferenceException);
28 static ExceptionDelegate outOfMemoryDelegate = new ExceptionDelegate(SetPendingOutOfMemoryException);
32 static ExceptionArgumentDelegate argumentDelegate = new ExceptionArgumentDelegate(SetPendingArgumentException);
33 static ExceptionArgumentDelegate argumentNullDelegate = new ExceptionArgumentDelegate(SetPendingArgumentNullException);
34 static ExceptionArgumentDelegate argumentOutOfRangeDelegate = new ExceptionArgumentDelegate(SetPendingArgumentOutOfRangeException);
36 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterExceptionCallbacks_operations_research_sat")]
50 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterExceptionArgumentCallbacks_operations_research_sat")]
57 SWIGPendingException.Set(new global::System.ApplicationException(message, SWIGPendingException.Retrieve()));
60 SWIGPendingException.Set(new global::System.ArithmeticException(message, SWIGPendingException.Retrieve()));
63 SWIGPendingException.Set(new global::System.DivideByZeroException(message, SWIGPendingException.Retrieve()));
66 SWIGPendingException.Set(new global::System.IndexOutOfRangeException(message, SWIGPendingException.Retrieve()));
69 SWIGPendingException.Set(new global::System.InvalidCastException(message, SWIGPendingException.Retrieve()));
72 SWIGPendingException.Set(new global::System.InvalidOperationException(message, SWIGPendingException.Retrieve()));
75 SWIGPendingException.Set(new global::System.IO.IOException(message, SWIGPendingException.Retrieve()));
78 SWIGPendingException.Set(new global::System.NullReferenceException(message, SWIGPendingException.Retrieve()));
81 SWIGPendingException.Set(new global::System.OutOfMemoryException(message, SWIGPendingException.Retrieve()));
84 SWIGPendingException.Set(new global::System.OverflowException(message, SWIGPendingException.Retrieve()));
87 SWIGPendingException.Set(new global::System.SystemException(message, SWIGPendingException.Retrieve()));
91 SWIGPendingException.Set(new global::System.ArgumentException(message, paramName, SWIGPendingException.Retrieve()));
145 throw new global::System.ApplicationException("FATAL: An earlier pending exception from unmanaged code was missed and thus not thrown (" + pendingException.ToString() + ")", e);
177 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterStringCallback_operations_research_sat")]
178 public static extern void SWIGRegisterStringCallback_operations_research_sat(SWIGStringDelegate stringDelegate);
196 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_SolutionCallback___")]
197 public static extern void delete_SolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
199 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_OnSolutionCallback___")]
200 public static extern void SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
202 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBooleans___")]
203 public static extern long SolutionCallback_NumBooleans(global::System.Runtime.InteropServices.HandleRef jarg1);
205 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBranches___")]
206 public static extern long SolutionCallback_NumBranches(global::System.Runtime.InteropServices.HandleRef jarg1);
208 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumConflicts___")]
209 public static extern long SolutionCallback_NumConflicts(global::System.Runtime.InteropServices.HandleRef jarg1);
211 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBinaryPropagations___")]
212 public static extern long SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1);
214 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumIntegerPropagations___")]
215 public static extern long SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1);
217 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_WallTime___")]
218 public static extern double SolutionCallback_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1);
220 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_UserTime___")]
221 public static extern double SolutionCallback_UserTime(global::System.Runtime.InteropServices.HandleRef jarg1);
223 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_ObjectiveValue___")]
224 public static extern double SolutionCallback_ObjectiveValue(global::System.Runtime.InteropServices.HandleRef jarg1);
226 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_BestObjectiveBound___")]
227 public static extern double SolutionCallback_BestObjectiveBound(global::System.Runtime.InteropServices.HandleRef jarg1);
229 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_SolutionIntegerValue___")]
230 public static extern long SolutionCallback_SolutionIntegerValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2);
232 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_SolutionBooleanValue___")]
233 public static extern bool SolutionCallback_SolutionBooleanValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2);
235 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_StopSearch___")]
236 public static extern void SolutionCallback_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1);
238 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_Response___")]
239 public static extern System.IntPtr SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1);
241 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SolutionCallback___")]
244 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_director_connect___")]
245 public static extern void SolutionCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0);
247 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_Solve___")]
250 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_SolveWithStringParameters___")]
251 public static extern System.IntPtr SatHelper_SolveWithStringParameters(int model_proto_size, byte[] jarg1, string jarg2);
253 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_SolveWithStringParametersAndSolutionCallback___")]
254 public static extern System.IntPtr SatHelper_SolveWithStringParametersAndSolutionCallback(int model_proto_size, byte[] jarg1, string jarg2, global::System.Runtime.InteropServices.HandleRef jarg3);
256 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_ModelStats___")]
259 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_SolverResponseStats___")]
262 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_ValidateModel___")]
265 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_VariableDomain___")]
266 public static extern global::System.IntPtr SatHelper_VariableDomain(int variable_proto_size, byte[] jarg1);
268 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SatHelper___")]
271 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_SatHelper___")]
272 public static extern void delete_SatHelper(global::System.Runtime.InteropServices.HandleRef jarg1);
static global::System.Exception Retrieve()
Definition: operations_research_satPINVOKE.cs:152
static long SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
Definition: operations_research_satPINVOKE.cs:172
static void SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SWIGRegisterStringCallback_operations_research_sat(SWIGStringDelegate stringDelegate)
static bool Pending
Definition: operations_research_satPINVOKE.cs:133
static SWIGExceptionHelper swigExceptionHelper
Definition: operations_research_satPINVOKE.cs:125
static double SolutionCallback_UserTime(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SolutionCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0)
static void delete_SatHelper(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumBranches(global::System.Runtime.InteropServices.HandleRef jarg1)
static System.IntPtr SatHelper_SolveWithStringParameters(int model_proto_size, byte[] jarg1, string jarg2)
static long SolutionCallback_SolutionIntegerValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static System.IntPtr SatHelper_Solve(int model_proto_size, byte[] jarg1)
static System.IntPtr SatHelper_SolveWithStringParametersAndSolutionCallback(int model_proto_size, byte[] jarg1, string jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static long SolutionCallback_NumBooleans(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumConflicts(global::System.Runtime.InteropServices.HandleRef jarg1)
delegate string SWIGStringDelegate(string message)
static double SolutionCallback_BestObjectiveBound(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr SatHelper_VariableDomain(int variable_proto_size, byte[] jarg1)
Definition: operations_research_satPINVOKE.cs:127
static string SatHelper_ValidateModel(int model_proto_size, byte[] jarg1)
delegate void ExceptionDelegate(string message)
static void delete_SolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static SWIGStringHelper swigStringHelper
Definition: operations_research_satPINVOKE.cs:189
static double SolutionCallback_ObjectiveValue(global::System.Runtime.InteropServices.HandleRef jarg1)
delegate void ExceptionArgumentDelegate(string message, string paramName)
static double SolutionCallback_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1)
static string SatHelper_ModelStats(int model_proto_size, byte[] jarg1)
static void SWIGRegisterExceptionCallbacksArgument_operations_research_sat(ExceptionArgumentDelegate argumentDelegate, ExceptionArgumentDelegate argumentNullDelegate, ExceptionArgumentDelegate argumentOutOfRangeDelegate)
Definition: operations_research_satPINVOKE.cs:15
static string SatHelper_SolverResponseStats(int response_size, byte[] jarg1)
delegate void SwigDelegateSolutionCallback_0()
static void SolutionCallback_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
static void Set(global::System.Exception e)
Definition: operations_research_satPINVOKE.cs:143
static bool SolutionCallback_SolutionBooleanValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static global::System.IntPtr new_SolutionCallback()
static void SWIGRegisterExceptionCallbacks_operations_research_sat(ExceptionDelegate applicationDelegate, ExceptionDelegate arithmeticDelegate, ExceptionDelegate divideByZeroDelegate, ExceptionDelegate indexOutOfRangeDelegate, ExceptionDelegate invalidCastDelegate, ExceptionDelegate invalidOperationDelegate, ExceptionDelegate ioDelegate, ExceptionDelegate nullReferenceDelegate, ExceptionDelegate outOfMemoryDelegate, ExceptionDelegate overflowDelegate, ExceptionDelegate systemExceptionDelegate)
static global::System.IntPtr new_SatHelper()
static System.IntPtr SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1)
Definition: CpModel.pb.cs:12