DotNet Reference

DotNet Reference

operations_research_satPINVOKE.cs
Go to the documentation of this file.
1 //------------------------------------------------------------------------------
2 // <auto-generated />
3 //
4 // This file was automatically generated by SWIG (http://www.swig.org).
5 // Version 4.0.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 
11 namespace 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);
19 
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);
176 
177  [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="SWIGRegisterStringCallback_operations_research_sat")]
179 
180  static string CreateString(string cString) {
181  return cString;
182  }
183 
184  static SWIGStringHelper() {
186  }
187  }
188 
190 
191 
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_SatHelper_Solve___")]
248  public static extern System.IntPtr SatHelper_Solve(int model_proto_size, byte[] jarg1);
249 
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);
252 
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);
255 
256  [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_ModelStats___")]
257  public static extern string SatHelper_ModelStats(int model_proto_size, byte[] jarg1);
258 
259  [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_SolverResponseStats___")]
260  public static extern string SatHelper_SolverResponseStats(int response_size, byte[] jarg1);
261 
262  [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_SatHelper_ValidateModel___")]
263  public static extern string SatHelper_ValidateModel(int model_proto_size, byte[] jarg1);
264 
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);
267 
268  [global::System.Runtime.InteropServices.DllImport("google-ortools-native", EntryPoint="CSharp_GooglefOrToolsfSat_new_SatHelper___")]
269  public static extern global::System.IntPtr new_SatHelper();
270 
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);
273 }
274 
275 }
static global::System.Exception Retrieve()
static long SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
static long SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1)
static void SWIGRegisterStringCallback_operations_research_sat(SWIGStringDelegate stringDelegate)
static bool Pending
static SWIGExceptionHelper swigExceptionHelper
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)
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
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)
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)
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