Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research_satPINVOKE.cs
Go to the documentation of this file.
1//------------------------------------------------------------------------------
2// <auto-generated />
3//
4// This file was automatically generated by SWIG (https://www.swig.org).
5// Version 4.3.0
6//
7// Do not make changes to this file unless you know what you are doing - modify
8// the SWIG interface file instead.
9//------------------------------------------------------------------------------
10
11namespace Google.OrTools.Sat {
12
14
15 protected class SWIGExceptionHelper {
16
17 public delegate void ExceptionDelegate(string message);
18 public delegate void ExceptionArgumentDelegate(string message, string paramName);
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);
26 static ExceptionDelegate ioDelegate = new ExceptionDelegate(SetPendingIOException);
27 static ExceptionDelegate nullReferenceDelegate = new ExceptionDelegate(SetPendingNullReferenceException);
28 static ExceptionDelegate outOfMemoryDelegate = new ExceptionDelegate(SetPendingOutOfMemoryException);
29 static ExceptionDelegate overflowDelegate = new ExceptionDelegate(SetPendingOverflowException);
30 static ExceptionDelegate systemDelegate = new ExceptionDelegate(SetPendingSystemException);
31
32 static ExceptionArgumentDelegate argumentDelegate = new ExceptionArgumentDelegate(SetPendingArgumentException);
33 static ExceptionArgumentDelegate argumentNullDelegate = new ExceptionArgumentDelegate(SetPendingArgumentNullException);
34 static ExceptionArgumentDelegate argumentOutOfRangeDelegate = new ExceptionArgumentDelegate(SetPendingArgumentOutOfRangeException);
35
36 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterExceptionCallbacks_operations_research_sat")]
38 ExceptionDelegate applicationDelegate,
39 ExceptionDelegate arithmeticDelegate,
40 ExceptionDelegate divideByZeroDelegate,
41 ExceptionDelegate indexOutOfRangeDelegate,
42 ExceptionDelegate invalidCastDelegate,
43 ExceptionDelegate invalidOperationDelegate,
44 ExceptionDelegate ioDelegate,
45 ExceptionDelegate nullReferenceDelegate,
46 ExceptionDelegate outOfMemoryDelegate,
47 ExceptionDelegate overflowDelegate,
48 ExceptionDelegate systemExceptionDelegate);
49
50 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterExceptionArgumentCallbacks_operations_research_sat")]
52 ExceptionArgumentDelegate argumentDelegate,
53 ExceptionArgumentDelegate argumentNullDelegate,
54 ExceptionArgumentDelegate argumentOutOfRangeDelegate);
55
56 static void SetPendingApplicationException(string message) {
57 SWIGPendingException.Set(new global::System.ApplicationException(message, SWIGPendingException.Retrieve()));
58 }
59 static void SetPendingArithmeticException(string message) {
60 SWIGPendingException.Set(new global::System.ArithmeticException(message, SWIGPendingException.Retrieve()));
61 }
62 static void SetPendingDivideByZeroException(string message) {
63 SWIGPendingException.Set(new global::System.DivideByZeroException(message, SWIGPendingException.Retrieve()));
64 }
65 static void SetPendingIndexOutOfRangeException(string message) {
66 SWIGPendingException.Set(new global::System.IndexOutOfRangeException(message, SWIGPendingException.Retrieve()));
67 }
68 static void SetPendingInvalidCastException(string message) {
69 SWIGPendingException.Set(new global::System.InvalidCastException(message, SWIGPendingException.Retrieve()));
70 }
71 static void SetPendingInvalidOperationException(string message) {
72 SWIGPendingException.Set(new global::System.InvalidOperationException(message, SWIGPendingException.Retrieve()));
73 }
74 static void SetPendingIOException(string message) {
75 SWIGPendingException.Set(new global::System.IO.IOException(message, SWIGPendingException.Retrieve()));
76 }
77 static void SetPendingNullReferenceException(string message) {
78 SWIGPendingException.Set(new global::System.NullReferenceException(message, SWIGPendingException.Retrieve()));
79 }
80 static void SetPendingOutOfMemoryException(string message) {
81 SWIGPendingException.Set(new global::System.OutOfMemoryException(message, SWIGPendingException.Retrieve()));
82 }
83 static void SetPendingOverflowException(string message) {
84 SWIGPendingException.Set(new global::System.OverflowException(message, SWIGPendingException.Retrieve()));
85 }
86 static void SetPendingSystemException(string message) {
87 SWIGPendingException.Set(new global::System.SystemException(message, SWIGPendingException.Retrieve()));
88 }
89
90 static void SetPendingArgumentException(string message, string paramName) {
91 SWIGPendingException.Set(new global::System.ArgumentException(message, paramName, SWIGPendingException.Retrieve()));
92 }
93 static void SetPendingArgumentNullException(string message, string paramName) {
94 global::System.Exception e = SWIGPendingException.Retrieve();
95 if (e != null) message = message + " Inner Exception: " + e.Message;
96 SWIGPendingException.Set(new global::System.ArgumentNullException(paramName, message));
97 }
98 static void SetPendingArgumentOutOfRangeException(string message, string paramName) {
99 global::System.Exception e = SWIGPendingException.Retrieve();
100 if (e != null) message = message + " Inner Exception: " + e.Message;
101 SWIGPendingException.Set(new global::System.ArgumentOutOfRangeException(paramName, message));
102 }
103
104 static SWIGExceptionHelper() {
106 applicationDelegate,
107 arithmeticDelegate,
108 divideByZeroDelegate,
109 indexOutOfRangeDelegate,
110 invalidCastDelegate,
111 invalidOperationDelegate,
112 ioDelegate,
113 nullReferenceDelegate,
114 outOfMemoryDelegate,
115 overflowDelegate,
116 systemDelegate);
117
119 argumentDelegate,
120 argumentNullDelegate,
121 argumentOutOfRangeDelegate);
122 }
123 }
124
126
127 public class SWIGPendingException {
128 [global::System.ThreadStatic]
129 private static global::System.Exception pendingException = null;
130 private static int numExceptionsPending = 0;
131 private static global::System.Object exceptionsLock = null;
132
133 public static bool Pending {
134 get {
135 bool pending = false;
136 if (numExceptionsPending > 0)
137 if (pendingException != null)
138 pending = true;
139 return pending;
140 }
141 }
142
143 public static void Set(global::System.Exception e) {
144 if (pendingException != null)
145 throw new global::System.ApplicationException("FATAL: An earlier pending exception from unmanaged code was missed and thus not thrown (" + pendingException.ToString() + ")", e);
146 pendingException = e;
147 lock(exceptionsLock) {
148 numExceptionsPending++;
149 }
150 }
151
152 public static global::System.Exception Retrieve() {
153 global::System.Exception e = null;
154 if (numExceptionsPending > 0) {
155 if (pendingException != null) {
156 e = pendingException;
157 pendingException = null;
158 lock(exceptionsLock) {
159 numExceptionsPending--;
160 }
161 }
162 }
163 return e;
164 }
165
166 static SWIGPendingException() {
167 exceptionsLock = new global::System.Object();
168 }
169 }
170
171
172 protected class SWIGStringHelper {
173
174 public delegate string SWIGStringDelegate(string message);
175 static SWIGStringDelegate stringDelegate = new SWIGStringDelegate(CreateString);
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);
179
180 static string CreateString(string cString) {
181 return cString;
182 }
183
184 static SWIGStringHelper() {
186 }
187 }
188
189 static protected SWIGStringHelper swigStringHelper = new SWIGStringHelper();
190
192 public class SWIGStringWithLengthHelper {
193
194 [global::System.Runtime.InteropServices.DllImport("operations_research_sat", EntryPoint="SWIG_csharp_string_to_c")]
195 private static extern global::System.IntPtr SWIG_csharp_string_to_c0(int size, int len, [global::System.Runtime.InteropServices.In,global::System.Runtime.InteropServices.MarshalAs(global::System.Runtime.InteropServices.UnmanagedType.LPStr, SizeParamIndex=0)] string str);
196
197 [global::System.Runtime.InteropServices.DllImport("operations_research_sat", EntryPoint="SWIG_csharp_string_size")]
198 private static extern int SWIG_csharp_string_size(global::System.IntPtr str);
199
200 [global::System.Runtime.InteropServices.DllImport("operations_research_sat", EntryPoint="SWIG_csharp_string_str")]
201 private static extern global::System.IntPtr SWIG_csharp_string_str(global::System.IntPtr str);
202
203 public static global::System.IntPtr SWIG_csharp_string_to_c(string str) {
204 if (str == null)
205 return global::System.IntPtr.Zero;
206 global::System.Text.Encoding utf8 = global::System.Text.Encoding.UTF8;
207 return SWIG_csharp_string_to_c0(utf8.GetByteCount(str), str.Length, str);
208 }
209
210 public static string SWIG_c_to_csharp_string(global::System.IntPtr str) {
211 int size = SWIG_csharp_string_size(str);
212 if (size > 0) {
213 global::System.IntPtr s = SWIG_csharp_string_str(str);
214 byte[] b = new byte[size];
215 global::System.Runtime.InteropServices.Marshal.Copy(s, b, 0, size);
216 global::System.Text.Encoding utf8 = global::System.Text.Encoding.UTF8;
217 return utf8.GetString(b);
218 }
219 return null;
220 }
221 }
222
223
224 static operations_research_satPINVOKE() {
225 }
226
227
228 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_SolutionCallback___")]
229 public static extern void delete_SolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
230
231 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_OnSolutionCallback___")]
232 public static extern void SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
233
234 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBooleans___")]
235 public static extern long SolutionCallback_NumBooleans(global::System.Runtime.InteropServices.HandleRef jarg1);
236
237 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBranches___")]
238 public static extern long SolutionCallback_NumBranches(global::System.Runtime.InteropServices.HandleRef jarg1);
239
240 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumConflicts___")]
241 public static extern long SolutionCallback_NumConflicts(global::System.Runtime.InteropServices.HandleRef jarg1);
242
243 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumBinaryPropagations___")]
244 public static extern long SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1);
245
246 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_NumIntegerPropagations___")]
247 public static extern long SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1);
248
249 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_WallTime___")]
250 public static extern double SolutionCallback_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1);
251
252 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_UserTime___")]
253 public static extern double SolutionCallback_UserTime(global::System.Runtime.InteropServices.HandleRef jarg1);
254
255 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_ObjectiveValue___")]
256 public static extern double SolutionCallback_ObjectiveValue(global::System.Runtime.InteropServices.HandleRef jarg1);
257
258 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_BestObjectiveBound___")]
259 public static extern double SolutionCallback_BestObjectiveBound(global::System.Runtime.InteropServices.HandleRef jarg1);
260
261 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_SolutionIntegerValue___")]
262 public static extern long SolutionCallback_SolutionIntegerValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2);
263
264 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_SolutionBooleanValue___")]
265 public static extern bool SolutionCallback_SolutionBooleanValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2);
266
267 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_StopSearch___")]
268 public static extern void SolutionCallback_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1);
269
270 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_Response___")]
271 public static extern global::System.IntPtr SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1);
272
273 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SolutionCallback___")]
274 public static extern global::System.IntPtr new_SolutionCallback();
275
276 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolutionCallback_director_connect___")]
277 public static extern void SolutionCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0);
278
279 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_LogCallback___")]
280 public static extern void delete_LogCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
281
282 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_LogCallback_NewMessage___")]
283 public static extern void LogCallback_NewMessage(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2);
284
285 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_LogCallback___")]
286 public static extern global::System.IntPtr new_LogCallback();
287
288 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_LogCallback_director_connect___")]
289 public static extern void LogCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, LogCallback.SwigDelegateLogCallback_0 delegate0);
290
291 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_BestBoundCallback___")]
292 public static extern void delete_BestBoundCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
293
294 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_BestBoundCallback_NewBestBound___")]
295 public static extern void BestBoundCallback_NewBestBound(global::System.Runtime.InteropServices.HandleRef jarg1, double jarg2);
296
297 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_BestBoundCallback___")]
298 public static extern global::System.IntPtr new_BestBoundCallback();
299
300 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_BestBoundCallback_director_connect___")]
301 public static extern void BestBoundCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, BestBoundCallback.SwigDelegateBestBoundCallback_0 delegate0);
302
303 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_SetStringParameters___")]
304 public static extern void SolveWrapper_SetStringParameters(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2);
305
306 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddSolutionCallback___")]
307 public static extern void SolveWrapper_AddSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
308
309 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_ClearSolutionCallback___")]
310 public static extern void SolveWrapper_ClearSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
311
312 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddLogCallbackFromClass___")]
313 public static extern void SolveWrapper_AddLogCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
314
315 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddBestBoundCallbackFromClass___")]
316 public static extern void SolveWrapper_AddBestBoundCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
317
318 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_Solve___")]
319 public static extern System.IntPtr SolveWrapper_Solve(global::System.Runtime.InteropServices.HandleRef jarg1, int model_proto_size, byte[] jarg2);
320
321 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_StopSearch___")]
322 public static extern void SolveWrapper_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1);
323
324 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SolveWrapper___")]
325 public static extern global::System.IntPtr new_SolveWrapper();
326
327 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_SolveWrapper___")]
328 public static extern void delete_SolveWrapper(global::System.Runtime.InteropServices.HandleRef jarg1);
329
330 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_ModelStats___")]
331 public static extern string CpSatHelper_ModelStats(int model_proto_size, byte[] jarg1);
332
333 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_SolverResponseStats___")]
334 public static extern string CpSatHelper_SolverResponseStats(int response_size, byte[] jarg1);
335
336 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_ValidateModel___")]
337 public static extern string CpSatHelper_ValidateModel(int model_proto_size, byte[] jarg1);
338
339 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_VariableDomain___")]
340 public static extern global::System.IntPtr CpSatHelper_VariableDomain(int variable_proto_size, byte[] jarg1);
341
342 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_WriteModelToFile___")]
343 public static extern bool CpSatHelper_WriteModelToFile(int model_proto_size, byte[] jarg1, string jarg2);
344
345 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_CpSatHelper___")]
346 public static extern global::System.IntPtr new_CpSatHelper();
347
348 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_CpSatHelper___")]
349 public static extern void delete_CpSatHelper(global::System.Runtime.InteropServices.HandleRef jarg1);
350}
352}
delegate void SwigDelegateBestBoundCallback_0(double bound)
delegate void SwigDelegateLogCallback_0(string message)
delegate void SwigDelegateSolutionCallback_0()
static void SWIGRegisterExceptionCallbacksArgument_operations_research_sat(ExceptionArgumentDelegate argumentDelegate, ExceptionArgumentDelegate argumentNullDelegate, ExceptionArgumentDelegate argumentOutOfRangeDelegate)
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)
delegate void ExceptionArgumentDelegate(string message, string paramName)
static void SWIGRegisterStringCallback_operations_research_sat(SWIGStringDelegate stringDelegate)
static global::System.IntPtr new_LogCallback()
static void SolveWrapper_ClearSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static bool CpSatHelper_WriteModelToFile(int model_proto_size, byte[] jarg1, string jarg2)
static void SolveWrapper_AddBestBoundCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static void BestBoundCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, BestBoundCallback.SwigDelegateBestBoundCallback_0 delegate0)
static void delete_BestBoundCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static void LogCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, LogCallback.SwigDelegateLogCallback_0 delegate0)
static void SolutionCallback_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumConflicts(global::System.Runtime.InteropServices.HandleRef jarg1)
static bool SolutionCallback_SolutionBooleanValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static void SolveWrapper_AddLogCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr new_SolutionCallback()
static void BestBoundCallback_NewBestBound(global::System.Runtime.InteropServices.HandleRef jarg1, double jarg2)
static void LogCallback_NewMessage(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
static void SolutionCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0)
static string CpSatHelper_ValidateModel(int model_proto_size, byte[] jarg1)
static global::System.IntPtr new_CpSatHelper()
static global::System.IntPtr new_BestBoundCallback()
static global::System.IntPtr SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1)
static string CpSatHelper_ModelStats(int model_proto_size, byte[] jarg1)
static void SolveWrapper_SetStringParameters(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
static void delete_SolveWrapper(global::System.Runtime.InteropServices.HandleRef jarg1)
static double SolutionCallback_ObjectiveValue(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static double SolutionCallback_BestObjectiveBound(global::System.Runtime.InteropServices.HandleRef jarg1)
static double SolutionCallback_UserTime(global::System.Runtime.InteropServices.HandleRef jarg1)
static void delete_CpSatHelper(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SolveWrapper_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
static void delete_LogCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SolveWrapper_AddSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static long SolutionCallback_NumBranches(global::System.Runtime.InteropServices.HandleRef jarg1)
static double SolutionCallback_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumBooleans(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr CpSatHelper_VariableDomain(int variable_proto_size, byte[] jarg1)
static global::System.IntPtr new_SolveWrapper()
static long SolutionCallback_SolutionIntegerValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static void delete_SolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static string CpSatHelper_SolverResponseStats(int response_size, byte[] jarg1)
static System.IntPtr SolveWrapper_Solve(global::System.Runtime.InteropServices.HandleRef jarg1, int model_proto_size, byte[] jarg2)