Google OR-Tools v9.11
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.2.1
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
13class operations_research_satPINVOKE {
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
125 protected static SWIGExceptionHelper swigExceptionHelper = new SWIGExceptionHelper();
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
193 }
194
195
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);
198
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);
201
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);
204
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);
207
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);
210
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);
213
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);
216
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);
219
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);
222
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);
225
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);
228
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);
231
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);
234
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);
237
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);
240
241 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SolutionCallback___")]
242 public static extern global::System.IntPtr new_SolutionCallback();
243
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);
246
247 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_LogCallback___")]
248 public static extern void delete_LogCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
249
250 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_LogCallback_NewMessage___")]
251 public static extern void LogCallback_NewMessage(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2);
252
253 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_LogCallback___")]
254 public static extern global::System.IntPtr new_LogCallback();
255
256 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_LogCallback_director_connect___")]
257 public static extern void LogCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, LogCallback.SwigDelegateLogCallback_0 delegate0);
258
259 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_BestBoundCallback___")]
260 public static extern void delete_BestBoundCallback(global::System.Runtime.InteropServices.HandleRef jarg1);
261
262 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_BestBoundCallback_NewBestBound___")]
263 public static extern void BestBoundCallback_NewBestBound(global::System.Runtime.InteropServices.HandleRef jarg1, double jarg2);
264
265 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_BestBoundCallback___")]
266 public static extern global::System.IntPtr new_BestBoundCallback();
267
268 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_BestBoundCallback_director_connect___")]
269 public static extern void BestBoundCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, BestBoundCallback.SwigDelegateBestBoundCallback_0 delegate0);
270
271 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_SetStringParameters___")]
272 public static extern void SolveWrapper_SetStringParameters(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2);
273
274 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddSolutionCallback___")]
275 public static extern void SolveWrapper_AddSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
276
277 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_ClearSolutionCallback___")]
278 public static extern void SolveWrapper_ClearSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
279
280 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddLogCallbackFromClass___")]
281 public static extern void SolveWrapper_AddLogCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
282
283 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_AddBestBoundCallbackFromClass___")]
284 public static extern void SolveWrapper_AddBestBoundCallbackFromClass(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2);
285
286 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_Solve___")]
287 public static extern System.IntPtr SolveWrapper_Solve(global::System.Runtime.InteropServices.HandleRef jarg1, int model_proto_size, byte[] jarg2);
288
289 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SolveWrapper_StopSearch___")]
290 public static extern void SolveWrapper_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1);
291
292 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SolveWrapper___")]
293 public static extern global::System.IntPtr new_SolveWrapper();
294
295 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_SolveWrapper___")]
296 public static extern void delete_SolveWrapper(global::System.Runtime.InteropServices.HandleRef jarg1);
297
298 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_ModelStats___")]
299 public static extern string CpSatHelper_ModelStats(int model_proto_size, byte[] jarg1);
300
301 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_SolverResponseStats___")]
302 public static extern string CpSatHelper_SolverResponseStats(int response_size, byte[] jarg1);
303
304 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_ValidateModel___")]
305 public static extern string CpSatHelper_ValidateModel(int model_proto_size, byte[] jarg1);
306
307 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_VariableDomain___")]
308 public static extern global::System.IntPtr CpSatHelper_VariableDomain(int variable_proto_size, byte[] jarg1);
309
310 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_CpSatHelper_WriteModelToFile___")]
311 public static extern bool CpSatHelper_WriteModelToFile(int model_proto_size, byte[] jarg1, string jarg2);
312
313 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_CpSatHelper___")]
314 public static extern global::System.IntPtr new_CpSatHelper();
315
316 [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_delete_CpSatHelper___")]
317 public static extern void delete_CpSatHelper(global::System.Runtime.InteropServices.HandleRef jarg1);
318}
320}
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 System.IntPtr SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr new_CpSatHelper()
static global::System.IntPtr new_BestBoundCallback()
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)