DotNet Reference

DotNet Reference

constraint_solver/Solver.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 
12 
13 using System;
14 using System.Runtime.InteropServices;
15 using System.Collections;
16 using System.Collections.Generic;
17 
18 public partial class Solver : global::System.IDisposable {
19  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
20  protected bool swigCMemOwn;
21 
22  internal Solver(global::System.IntPtr cPtr, bool cMemoryOwn) {
23  swigCMemOwn = cMemoryOwn;
24  swigCPtr = new global::System.Runtime.InteropServices.HandleRef(this, cPtr);
25  }
26 
27  internal static global::System.Runtime.InteropServices.HandleRef getCPtr(Solver obj) {
28  return (obj == null) ? new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero) : obj.swigCPtr;
29  }
30 
31  ~Solver() {
32  Dispose(false);
33  }
34 
35  public void Dispose() {
36  Dispose(true);
37  global::System.GC.SuppressFinalize(this);
38  }
39 
40  protected virtual void Dispose(bool disposing) {
41  lock(this) {
42  if (swigCPtr.Handle != global::System.IntPtr.Zero) {
43  if (swigCMemOwn) {
44  swigCMemOwn = false;
46  }
47  swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
48  }
49  }
50  }
51 
52  // Store list of delegates to avoid the GC to reclaim them.
53  // This avoid the GC to collect any callback (i.e. delegate) set from C#.
54  // The underlying C++ class will only store a pointer to it (i.e. no ownership).
55  private List<VoidToString> displayCallbacks;
56  private VoidToString StoreVoidToString(VoidToString c) {
57  if (displayCallbacks == null)
58  displayCallbacks = new List<VoidToString>();
59  displayCallbacks.Add(c);
60  return c;
61  }
62 
63  private List<LongToLong> LongToLongCallbacks;
64  private LongToLong StoreLongToLong(LongToLong c) {
65  if (LongToLongCallbacks == null)
66  LongToLongCallbacks = new List<LongToLong>();
67  LongToLongCallbacks.Add(c);
68  return c;
69  }
70  private List<LongLongToLong> LongLongToLongCallbacks;
71  private LongLongToLong StoreLongLongToLong(LongLongToLong c) {
72  if (LongLongToLongCallbacks == null)
73  LongLongToLongCallbacks = new List<LongLongToLong>();
74  LongLongToLongCallbacks.Add(c);
75  return c;
76  }
77  private List<LongLongLongToLong> LongLongLongToLongCallbacks;
78  private LongLongLongToLong StoreLongLongLongToLong(LongLongLongToLong c) {
79  if (LongLongLongToLongCallbacks == null)
80  LongLongLongToLongCallbacks = new List<LongLongLongToLong>();
81  LongLongLongToLongCallbacks.Add(c);
82  return c;
83  }
84 
85  private List<VoidToBoolean> limiterCallbacks;
86  private VoidToBoolean StoreVoidToBoolean(VoidToBoolean limiter) {
87  if (limiterCallbacks == null)
88  limiterCallbacks = new List<VoidToBoolean>();
89  limiterCallbacks.Add(limiter);
90  return limiter;
91  }
92 
93  private List<LongLongLongToBoolean> variableValueComparatorCallbacks;
94  private LongLongLongToBoolean StoreLongLongLongToBoolean(
96  if (variableValueComparatorCallbacks == null)
97  variableValueComparatorCallbacks = new List<LongLongLongToBoolean>();
98  variableValueComparatorCallbacks.Add(c);
99  return c;
100  }
101 
102  private List<LongToBoolean> indexFilter1Callbacks;
103  private LongToBoolean StoreLongToBoolean(LongToBoolean c) {
104  if (indexFilter1Callbacks == null)
105  indexFilter1Callbacks = new List<LongToBoolean>();
106  indexFilter1Callbacks.Add(c);
107  return c;
108  }
109 
110  private List<LongToVoid> objectiveWatcherCallbacks;
111  private LongToVoid StoreLongToVoid(LongToVoid c) {
112  if (objectiveWatcherCallbacks == null)
113  objectiveWatcherCallbacks = new List<LongToVoid>();
114  objectiveWatcherCallbacks.Add(c);
115  return c;
116  }
117 
118  private List<SolverToVoid> actionCallbacks;
119  private SolverToVoid StoreSolverToVoid(SolverToVoid action) {
120  if (actionCallbacks == null)
121  actionCallbacks = new List<SolverToVoid>();
122  actionCallbacks.Add(action);
123  return action;
124  }
125 
126  private List<VoidToVoid> closureCallbacks;
127  private VoidToVoid StoreVoidToVoid(VoidToVoid closure) {
128  if (closureCallbacks == null)
129  closureCallbacks = new List<VoidToVoid>();
130  closureCallbacks.Add(closure);
131  return closure;
132  }
133 
134  // note: Should be store in LocalSearchOperator
135  private List<IntIntToLong> evaluatorCallbacks;
136  private IntIntToLong StoreIntIntToLong(IntIntToLong evaluator) {
137  if (evaluatorCallbacks == null)
138  evaluatorCallbacks = new List<IntIntToLong>();
139  evaluatorCallbacks.Add(evaluator);
140  return evaluator;
141  }
142 
143  public partial class IntegerCastInfo : global::System.IDisposable {
144  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
145  protected bool swigCMemOwn;
146 
147  internal IntegerCastInfo(global::System.IntPtr cPtr, bool cMemoryOwn) {
148  swigCMemOwn = cMemoryOwn;
149  swigCPtr = new global::System.Runtime.InteropServices.HandleRef(this, cPtr);
150  }
151 
152  internal static global::System.Runtime.InteropServices.HandleRef getCPtr(IntegerCastInfo obj) {
153  return (obj == null) ? new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero) : obj.swigCPtr;
154  }
155 
156  ~IntegerCastInfo() {
157  Dispose(false);
158  }
159 
160  public void Dispose() {
161  Dispose(true);
162  global::System.GC.SuppressFinalize(this);
163  }
164 
165  protected virtual void Dispose(bool disposing) {
166  lock(this) {
167  if (swigCPtr.Handle != global::System.IntPtr.Zero) {
168  if (swigCMemOwn) {
169  swigCMemOwn = false;
171  }
172  swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
173  }
174  }
175  }
176 
177  public IntegerCastInfo() : this(operations_research_constraint_solverPINVOKE.new_Solver_IntegerCastInfo__SWIG_0(), true) {
178  }
179 
180  public IntegerCastInfo(IntVar v, IntExpr e, Constraint c) : this(operations_research_constraint_solverPINVOKE.new_Solver_IntegerCastInfo__SWIG_1(IntVar.getCPtr(v), IntExpr.getCPtr(e), Constraint.getCPtr(c)), true) {
181  }
182 
183  public IntVar variable {
184  set {
186  }
187  get {
189  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
190  return ret;
191  }
192  }
193 
195  set {
197  }
198  get {
200  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
201  return ret;
202  }
203  }
204 
206  set {
208  }
209  get {
211  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
212  return ret;
213  }
214  }
215 
216  }
217 
218  public Solver(string name) : this(operations_research_constraint_solverPINVOKE.new_Solver__SWIG_0(name), true) {
220  }
221 
222  public Solver(string name, Google.OrTools.ConstraintSolver.ConstraintSolverParameters parameters) : this(operations_research_constraint_solverPINVOKE.new_Solver__SWIG_1(name, parameters.CalculateSize(), ProtoHelper.ProtoToByteArray(parameters)), true) {
224  }
225 
227  byte[] tmp = new byte[4];
229  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
230  int size = System.BitConverter.ToInt32(tmp, 0);
231  byte[] buf = new byte[size + 4];
232  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
233  // TODO(user): delete the C++ buffer.
234  try {
235  Google.Protobuf.CodedInputStream input =
236  new Google.Protobuf.CodedInputStream(buf, 4, size);
238  proto.MergeFrom(input);
239  return proto;
240  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
241  throw new System.Exception(
242  "Unable to parse Google.OrTools.ConstraintSolver.ConstraintSolverParameters protocol message.");
243  }
244 }
245 
247  byte[] tmp = new byte[4];
249  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
250  int size = System.BitConverter.ToInt32(tmp, 0);
251  byte[] buf = new byte[size + 4];
252  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
253  // TODO(user): delete the C++ buffer.
254  try {
255  Google.Protobuf.CodedInputStream input =
256  new Google.Protobuf.CodedInputStream(buf, 4, size);
258  proto.MergeFrom(input);
259  return proto;
260  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
261  throw new System.Exception(
262  "Unable to parse Google.OrTools.ConstraintSolver.ConstraintSolverParameters protocol message.");
263  }
264 }
265 
266  public void Add(Constraint c) {
269  }
270 
271  public void AddCastConstraint(CastConstraint constraint, IntVar target_var, IntExpr expr) {
272  operations_research_constraint_solverPINVOKE.Solver_AddCastConstraint(swigCPtr, CastConstraint.getCPtr(constraint), IntVar.getCPtr(target_var), IntExpr.getCPtr(expr));
273  }
274 
275  public bool Solve(DecisionBuilder db, SearchMonitorVector monitors) {
278  return ret;
279  }
280 
281  public bool Solve(DecisionBuilder db) {
283  return ret;
284  }
285 
286  public bool Solve(DecisionBuilder db, SearchMonitor m1) {
288  return ret;
289  }
290 
292  bool ret = operations_research_constraint_solverPINVOKE.Solver_Solve__SWIG_3(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(m1), SearchMonitor.getCPtr(m2));
293  return ret;
294  }
295 
297  bool ret = operations_research_constraint_solverPINVOKE.Solver_Solve__SWIG_4(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(m1), SearchMonitor.getCPtr(m2), SearchMonitor.getCPtr(m3));
298  return ret;
299  }
300 
302  bool ret = operations_research_constraint_solverPINVOKE.Solver_Solve__SWIG_5(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(m1), SearchMonitor.getCPtr(m2), SearchMonitor.getCPtr(m3), SearchMonitor.getCPtr(m4));
303  return ret;
304  }
305 
309  }
310 
311  public void NewSearchAux(DecisionBuilder db) {
313  }
314 
317  }
318 
321  }
322 
325  }
326 
329  }
330 
331  public bool NextSolution() {
333  return ret;
334  }
335 
336  public void RestartSearch() {
338  }
339 
340  public void EndSearchAux() {
342  }
343 
347  return ret;
348  }
349 
350  public bool SolveAndCommit(DecisionBuilder db) {
352  return ret;
353  }
354 
357  return ret;
358  }
359 
362  return ret;
363  }
364 
366  bool ret = operations_research_constraint_solverPINVOKE.Solver_SolveAndCommit__SWIG_4(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(m1), SearchMonitor.getCPtr(m2), SearchMonitor.getCPtr(m3));
367  return ret;
368  }
369 
370  public bool CheckAssignment(Assignment solution) {
372  return ret;
373  }
374 
375  public bool CheckConstraint(Constraint ct) {
377  return ret;
378  }
379 
380  public int State() {
382  return ret;
383  }
384 
385  public void Fail() {
388  }
389 
390  public string ToString() {
392  return ret;
393  }
394 
395  public static long MemoryUsage() {
397  return ret;
398  }
399 
400  public long WallTime() {
402  return ret;
403  }
404 
405  public long Branches() {
407  return ret;
408  }
409 
410  public long Solutions() {
412  return ret;
413  }
414 
415  public long UncheckedSolutions() {
417  return ret;
418  }
419 
420  public long DemonRuns(int p) {
422  return ret;
423  }
424 
425  public long Failures() {
427  return ret;
428  }
429 
430  public long Neighbors() {
432  return ret;
433  }
434 
435  public long FilteredNeighbors() {
437  return ret;
438  }
439 
440  public long AcceptedNeighbors() {
442  return ret;
443  }
444 
445  public ulong Stamp() {
447  return ret;
448  }
449 
450  public ulong FailStamp() {
452  return ret;
453  }
454 
455  public void SetOptimizationDirection(int direction) {
457  }
458 
459  public IntVar MakeIntVar(long min, long max, string name) {
460  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_0(swigCPtr, min, max, name);
461  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
463  return ret;
464  }
465 
466  public IntVar MakeIntVar( long[] values, string name) {
467  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_1(swigCPtr, values.Length, values , name);
468  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
470  return ret;
471  }
472 
473  public IntVar MakeIntVar( int[] values, string name) {
474  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_2(swigCPtr, values.Length, values , name);
475  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
477  return ret;
478  }
479 
480  public IntVar MakeIntVar(long min, long max) {
481  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_3(swigCPtr, min, max);
482  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
483  return ret;
484  }
485 
486  public IntVar MakeIntVar( long[] values) {
487  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_4(swigCPtr, values.Length, values );
488  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
489  return ret;
490  }
491 
492  public IntVar MakeIntVar( int[] values) {
493  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntVar__SWIG_5(swigCPtr, values.Length, values );
494  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
495  return ret;
496  }
497 
498  public IntVar MakeBoolVar(string name) {
499  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeBoolVar__SWIG_0(swigCPtr, name);
500  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
502  return ret;
503  }
504 
505  public IntVar MakeBoolVar() {
506  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeBoolVar__SWIG_1(swigCPtr);
507  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
508  return ret;
509  }
510 
511  public IntVar MakeIntConst(long val, string name) {
512  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntConst__SWIG_0(swigCPtr, val, name);
513  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
515  return ret;
516  }
517 
518  public IntVar MakeIntConst(long val) {
519  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntConst__SWIG_1(swigCPtr, val);
520  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
521  return ret;
522  }
523 
524  public IntExpr MakeSum(IntExpr left, IntExpr right) {
525  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSum__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
526  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
527  return ret;
528  }
529 
530  public IntExpr MakeSum(IntExpr expr, long value) {
531  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSum__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
532  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
533  return ret;
534  }
535 
536  public IntExpr MakeSum(IntVarVector vars) {
537  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSum__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars));
538  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
540  return ret;
541  }
542 
543  public IntExpr MakeScalProd(IntVarVector vars, long[] coefs) {
544  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProd__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), coefs.Length, coefs );
545  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
547  return ret;
548  }
549 
550  public IntExpr MakeScalProd(IntVarVector vars, int[] coefs) {
551  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProd__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), coefs.Length, coefs );
552  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
554  return ret;
555  }
556 
557  public IntExpr MakeDifference(IntExpr left, IntExpr right) {
558  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDifference__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
559  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
560  return ret;
561  }
562 
563  public IntExpr MakeDifference(long value, IntExpr expr) {
564  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDifference__SWIG_1(swigCPtr, value, IntExpr.getCPtr(expr));
565  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
566  return ret;
567  }
568 
569  public IntExpr MakeOpposite(IntExpr expr) {
570  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOpposite(swigCPtr, IntExpr.getCPtr(expr));
571  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
572  return ret;
573  }
574 
575  public IntExpr MakeProd(IntExpr left, IntExpr right) {
576  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeProd__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
577  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
578  return ret;
579  }
580 
581  public IntExpr MakeProd(IntExpr expr, long value) {
582  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeProd__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
583  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
584  return ret;
585  }
586 
587  public IntExpr MakeDiv(IntExpr expr, long value) {
588  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDiv__SWIG_0(swigCPtr, IntExpr.getCPtr(expr), value);
589  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
590  return ret;
591  }
592 
593  public IntExpr MakeDiv(IntExpr numerator, IntExpr denominator) {
594  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDiv__SWIG_1(swigCPtr, IntExpr.getCPtr(numerator), IntExpr.getCPtr(denominator));
595  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
596  return ret;
597  }
598 
599  public IntExpr MakeAbs(IntExpr expr) {
600  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAbs(swigCPtr, IntExpr.getCPtr(expr));
601  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
602  return ret;
603  }
604 
605  public IntExpr MakeSquare(IntExpr expr) {
606  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSquare(swigCPtr, IntExpr.getCPtr(expr));
607  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
608  return ret;
609  }
610 
611  public IntExpr MakePower(IntExpr expr, long n) {
612  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePower(swigCPtr, IntExpr.getCPtr(expr), n);
613  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
614  return ret;
615  }
616 
617  public IntExpr MakeElement( long[] values, IntVar index) {
618  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElement__SWIG_0(swigCPtr, values.Length, values , IntVar.getCPtr(index));
619  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
620  return ret;
621  }
622 
623  public IntExpr MakeElement( int[] values, IntVar index) {
624  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElement__SWIG_1(swigCPtr, values.Length, values , IntVar.getCPtr(index));
625  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
626  return ret;
627  }
628 
629  public IntExpr MakeElement( LongToLong values, IntVar index) {
630  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElement__SWIG_2(swigCPtr, StoreLongToLong(values) , IntVar.getCPtr(index));
631  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
632  return ret;
633  }
634 
635  public IntExpr MakeMonotonicElement( LongToLong values, bool increasing, IntVar index) {
636  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMonotonicElement(swigCPtr, StoreLongToLong(values) , increasing, IntVar.getCPtr(index));
637  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
638  return ret;
639  }
640 
641  public IntExpr MakeElement( LongLongToLong values, IntVar index1, IntVar index2) {
642  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElement__SWIG_3(swigCPtr, StoreLongLongToLong(values) , IntVar.getCPtr(index1), IntVar.getCPtr(index2));
643  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
644  return ret;
645  }
646 
647  public IntExpr MakeElement(IntVarVector vars, IntVar index) {
648  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElement__SWIG_4(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(index));
649  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
651  return ret;
652  }
653 
654  public IntExpr MakeIndexExpression(IntVarVector vars, long value) {
655  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIndexExpression(swigCPtr, IntVarVector.getCPtr(vars), value);
656  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
658  return ret;
659  }
660 
661  public Constraint MakeIfThenElseCt(IntVar condition, IntExpr then_expr, IntExpr else_expr, IntVar target_var) {
662  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIfThenElseCt(swigCPtr, IntVar.getCPtr(condition), IntExpr.getCPtr(then_expr), IntExpr.getCPtr(else_expr), IntVar.getCPtr(target_var));
663  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
664  return ret;
665  }
666 
667  public IntExpr MakeMin(IntVarVector vars) {
668  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMin__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars));
669  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
671  return ret;
672  }
673 
674  public IntExpr MakeMin(IntExpr left, IntExpr right) {
675  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMin__SWIG_1(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
676  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
677  return ret;
678  }
679 
680  public IntExpr MakeMin(IntExpr expr, long value) {
681  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMin__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
682  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
683  return ret;
684  }
685 
686  public IntExpr MakeMin(IntExpr expr, int value) {
687  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMin__SWIG_3(swigCPtr, IntExpr.getCPtr(expr), value);
688  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
689  return ret;
690  }
691 
692  public IntExpr MakeMax(IntVarVector vars) {
693  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMax__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars));
694  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
696  return ret;
697  }
698 
699  public IntExpr MakeMax(IntExpr left, IntExpr right) {
700  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMax__SWIG_1(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
701  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
702  return ret;
703  }
704 
705  public IntExpr MakeMax(IntExpr expr, long value) {
706  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMax__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
707  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
708  return ret;
709  }
710 
711  public IntExpr MakeMax(IntExpr expr, int value) {
712  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMax__SWIG_3(swigCPtr, IntExpr.getCPtr(expr), value);
713  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
714  return ret;
715  }
716 
717  public IntExpr MakeConvexPiecewiseExpr(IntExpr expr, long early_cost, long early_date, long late_date, long late_cost) {
718  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeConvexPiecewiseExpr(swigCPtr, IntExpr.getCPtr(expr), early_cost, early_date, late_date, late_cost);
719  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
720  return ret;
721  }
722 
723  public IntExpr MakeSemiContinuousExpr(IntExpr expr, long fixed_charge, long step) {
724  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSemiContinuousExpr(swigCPtr, IntExpr.getCPtr(expr), fixed_charge, step);
725  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
726  return ret;
727  }
728 
729  public IntExpr MakeModulo(IntExpr x, long mod) {
730  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeModulo__SWIG_0(swigCPtr, IntExpr.getCPtr(x), mod);
731  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
732  return ret;
733  }
734 
736  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeModulo__SWIG_1(swigCPtr, IntExpr.getCPtr(x), IntExpr.getCPtr(mod));
737  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
738  return ret;
739  }
740 
741  public IntExpr MakeConditionalExpression(IntVar condition, IntExpr expr, long unperformed_value) {
742  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeConditionalExpression(swigCPtr, IntVar.getCPtr(condition), IntExpr.getCPtr(expr), unperformed_value);
743  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
744  return ret;
745  }
746 
748  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTrueConstraint(swigCPtr);
749  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
750  return ret;
751  }
752 
755  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
756  return ret;
757  }
758 
759  public Constraint MakeFalseConstraint(string explanation) {
760  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFalseConstraint__SWIG_1(swigCPtr, explanation);
761  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
763  return ret;
764  }
765 
766  public Constraint MakeIsEqualCstCt(IntExpr var, long value, IntVar boolvar) {
767  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsEqualCstCt(swigCPtr, IntExpr.getCPtr(var), value, IntVar.getCPtr(boolvar));
768  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
769  return ret;
770  }
771 
772  public IntVar MakeIsEqualCstVar(IntExpr var, long value) {
773  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsEqualCstVar(swigCPtr, IntExpr.getCPtr(var), value);
774  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
775  return ret;
776  }
777 
779  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsEqualCt(swigCPtr, IntExpr.getCPtr(v1), IntExpr.getCPtr(v2), IntVar.getCPtr(b));
780  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
781  return ret;
782  }
783 
785  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsEqualVar(swigCPtr, IntExpr.getCPtr(v1), IntExpr.getCPtr(v2));
786  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
787  return ret;
788  }
789 
790  public Constraint MakeEquality(IntExpr left, IntExpr right) {
791  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeEquality__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
792  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
793  return ret;
794  }
795 
796  public Constraint MakeEquality(IntExpr expr, long value) {
797  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeEquality__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
798  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
799  return ret;
800  }
801 
802  public Constraint MakeEquality(IntExpr expr, int value) {
803  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeEquality__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
804  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
805  return ret;
806  }
807 
808  public Constraint MakeIsDifferentCstCt(IntExpr var, long value, IntVar boolvar) {
809  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsDifferentCstCt(swigCPtr, IntExpr.getCPtr(var), value, IntVar.getCPtr(boolvar));
810  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
811  return ret;
812  }
813 
814  public IntVar MakeIsDifferentCstVar(IntExpr var, long value) {
815  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsDifferentCstVar(swigCPtr, IntExpr.getCPtr(var), value);
816  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
817  return ret;
818  }
819 
821  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsDifferentVar(swigCPtr, IntExpr.getCPtr(v1), IntExpr.getCPtr(v2));
822  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
823  return ret;
824  }
825 
827  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsDifferentCt(swigCPtr, IntExpr.getCPtr(v1), IntExpr.getCPtr(v2), IntVar.getCPtr(b));
828  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
829  return ret;
830  }
831 
833  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonEquality__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
834  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
835  return ret;
836  }
837 
838  public Constraint MakeNonEquality(IntExpr expr, long value) {
839  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonEquality__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
840  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
841  return ret;
842  }
843 
844  public Constraint MakeNonEquality(IntExpr expr, int value) {
845  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonEquality__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
846  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
847  return ret;
848  }
849 
850  public Constraint MakeIsLessOrEqualCstCt(IntExpr var, long value, IntVar boolvar) {
851  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessOrEqualCstCt(swigCPtr, IntExpr.getCPtr(var), value, IntVar.getCPtr(boolvar));
852  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
853  return ret;
854  }
855 
856  public IntVar MakeIsLessOrEqualCstVar(IntExpr var, long value) {
857  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessOrEqualCstVar(swigCPtr, IntExpr.getCPtr(var), value);
858  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
859  return ret;
860  }
861 
863  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessOrEqualVar(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
864  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
865  return ret;
866  }
867 
869  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessOrEqualCt(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right), IntVar.getCPtr(b));
870  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
871  return ret;
872  }
873 
875  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLessOrEqual__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
876  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
877  return ret;
878  }
879 
880  public Constraint MakeLessOrEqual(IntExpr expr, long value) {
881  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLessOrEqual__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
882  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
883  return ret;
884  }
885 
886  public Constraint MakeLessOrEqual(IntExpr expr, int value) {
887  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLessOrEqual__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
888  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
889  return ret;
890  }
891 
892  public Constraint MakeIsGreaterOrEqualCstCt(IntExpr var, long value, IntVar boolvar) {
893  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterOrEqualCstCt(swigCPtr, IntExpr.getCPtr(var), value, IntVar.getCPtr(boolvar));
894  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
895  return ret;
896  }
897 
898  public IntVar MakeIsGreaterOrEqualCstVar(IntExpr var, long value) {
899  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterOrEqualCstVar(swigCPtr, IntExpr.getCPtr(var), value);
900  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
901  return ret;
902  }
903 
905  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterOrEqualVar(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
906  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
907  return ret;
908  }
909 
911  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterOrEqualCt(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right), IntVar.getCPtr(b));
912  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
913  return ret;
914  }
915 
917  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreaterOrEqual__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
918  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
919  return ret;
920  }
921 
922  public Constraint MakeGreaterOrEqual(IntExpr expr, long value) {
923  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreaterOrEqual__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
924  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
925  return ret;
926  }
927 
928  public Constraint MakeGreaterOrEqual(IntExpr expr, int value) {
929  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreaterOrEqual__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
930  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
931  return ret;
932  }
933 
935  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterCstCt(swigCPtr, IntExpr.getCPtr(v), c, IntVar.getCPtr(b));
936  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
937  return ret;
938  }
939 
940  public IntVar MakeIsGreaterCstVar(IntExpr var, long value) {
941  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterCstVar(swigCPtr, IntExpr.getCPtr(var), value);
942  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
943  return ret;
944  }
945 
946  public IntVar MakeIsGreaterVar(IntExpr left, IntExpr right) {
947  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterVar(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
948  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
949  return ret;
950  }
951 
953  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsGreaterCt(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right), IntVar.getCPtr(b));
954  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
955  return ret;
956  }
957 
958  public Constraint MakeGreater(IntExpr left, IntExpr right) {
959  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreater__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
960  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
961  return ret;
962  }
963 
964  public Constraint MakeGreater(IntExpr expr, long value) {
965  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreater__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
966  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
967  return ret;
968  }
969 
970  public Constraint MakeGreater(IntExpr expr, int value) {
971  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGreater__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
972  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
973  return ret;
974  }
975 
976  public Constraint MakeIsLessCstCt(IntExpr v, long c, IntVar b) {
977  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessCstCt(swigCPtr, IntExpr.getCPtr(v), c, IntVar.getCPtr(b));
978  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
979  return ret;
980  }
981 
982  public IntVar MakeIsLessCstVar(IntExpr var, long value) {
983  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessCstVar(swigCPtr, IntExpr.getCPtr(var), value);
984  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
985  return ret;
986  }
987 
988  public IntVar MakeIsLessVar(IntExpr left, IntExpr right) {
989  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessVar(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
990  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
991  return ret;
992  }
993 
994  public Constraint MakeIsLessCt(IntExpr left, IntExpr right, IntVar b) {
995  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsLessCt(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right), IntVar.getCPtr(b));
996  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
997  return ret;
998  }
999 
1000  public Constraint MakeLess(IntExpr left, IntExpr right) {
1001  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLess__SWIG_0(swigCPtr, IntExpr.getCPtr(left), IntExpr.getCPtr(right));
1002  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1003  return ret;
1004  }
1005 
1006  public Constraint MakeLess(IntExpr expr, long value) {
1007  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLess__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), value);
1008  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1009  return ret;
1010  }
1011 
1012  public Constraint MakeLess(IntExpr expr, int value) {
1013  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLess__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), value);
1014  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1015  return ret;
1016  }
1017 
1018  public Constraint MakeSumLessOrEqual(IntVarVector vars, long cst) {
1019  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumLessOrEqual(swigCPtr, IntVarVector.getCPtr(vars), cst);
1020  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1022  return ret;
1023  }
1024 
1026  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumGreaterOrEqual(swigCPtr, IntVarVector.getCPtr(vars), cst);
1027  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1029  return ret;
1030  }
1031 
1032  public Constraint MakeSumEquality(IntVarVector vars, long cst) {
1033  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumEquality__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), cst);
1034  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1036  return ret;
1037  }
1038 
1040  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumEquality__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(var));
1041  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1043  return ret;
1044  }
1045 
1046  public Constraint MakeScalProdEquality(IntVarVector vars, long[] coefficients, long cst) {
1047  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdEquality__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , cst);
1048  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1050  return ret;
1051  }
1052 
1053  public Constraint MakeScalProdEquality(IntVarVector vars, int[] coefficients, long cst) {
1054  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdEquality__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , cst);
1055  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1057  return ret;
1058  }
1059 
1060  public Constraint MakeScalProdEquality(IntVarVector vars, long[] coefficients, IntVar target) {
1061  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdEquality__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , IntVar.getCPtr(target));
1062  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1064  return ret;
1065  }
1066 
1067  public Constraint MakeScalProdEquality(IntVarVector vars, int[] coefficients, IntVar target) {
1068  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdEquality__SWIG_3(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , IntVar.getCPtr(target));
1069  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1071  return ret;
1072  }
1073 
1074  public Constraint MakeScalProdGreaterOrEqual(IntVarVector vars, long[] coeffs, long cst) {
1075  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdGreaterOrEqual__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), coeffs.Length, coeffs , cst);
1076  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1078  return ret;
1079  }
1080 
1081  public Constraint MakeScalProdGreaterOrEqual(IntVarVector vars, int[] coeffs, long cst) {
1082  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdGreaterOrEqual__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), coeffs.Length, coeffs , cst);
1083  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1085  return ret;
1086  }
1087 
1088  public Constraint MakeScalProdLessOrEqual(IntVarVector vars, long[] coefficients, long cst) {
1089  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdLessOrEqual__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , cst);
1090  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1092  return ret;
1093  }
1094 
1095  public Constraint MakeScalProdLessOrEqual(IntVarVector vars, int[] coefficients, long cst) {
1096  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScalProdLessOrEqual__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), coefficients.Length, coefficients , cst);
1097  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1099  return ret;
1100  }
1101 
1103  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMinEquality(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(min_var));
1104  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1106  return ret;
1107  }
1108 
1110  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMaxEquality(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(max_var));
1111  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1113  return ret;
1114  }
1115 
1116  public Constraint MakeElementEquality( long[] vals, IntVar index, IntVar target) {
1117  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElementEquality__SWIG_0(swigCPtr, vals.Length, vals , IntVar.getCPtr(index), IntVar.getCPtr(target));
1118  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1119  return ret;
1120  }
1121 
1122  public Constraint MakeElementEquality( int[] vals, IntVar index, IntVar target) {
1123  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElementEquality__SWIG_1(swigCPtr, vals.Length, vals , IntVar.getCPtr(index), IntVar.getCPtr(target));
1124  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1125  return ret;
1126  }
1127 
1129  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElementEquality__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(index), IntVar.getCPtr(target));
1130  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1132  return ret;
1133  }
1134 
1135  public Constraint MakeElementEquality(IntVarVector vars, IntVar index, long target) {
1136  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeElementEquality__SWIG_3(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(index), target);
1137  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1139  return ret;
1140  }
1141 
1142  public Constraint MakeAbsEquality(IntVar var, IntVar abs_var) {
1143  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAbsEquality(swigCPtr, IntVar.getCPtr(var), IntVar.getCPtr(abs_var));
1144  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1145  return ret;
1146  }
1147 
1148  public Constraint MakeIndexOfConstraint(IntVarVector vars, IntVar index, long target) {
1149  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIndexOfConstraint(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(index), target);
1150  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1152  return ret;
1153  }
1154 
1157  Demon ret = (cPtr == global::System.IntPtr.Zero) ? null : new Demon(cPtr, false);
1158  return ret;
1159  }
1160 
1163  Demon ret = (cPtr == global::System.IntPtr.Zero) ? null : new Demon(cPtr, false);
1164  return ret;
1165  }
1166 
1167  public Demon MakeClosureDemon( VoidToVoid closure) {
1168  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeClosureDemon(swigCPtr, StoreVoidToVoid(closure) );
1169  Demon ret = (cPtr == global::System.IntPtr.Zero) ? null : new Demon(cPtr, false);
1170  return ret;
1171  }
1172 
1173  public Constraint MakeBetweenCt(IntExpr expr, long l, long u) {
1174  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeBetweenCt(swigCPtr, IntExpr.getCPtr(expr), l, u);
1175  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1176  return ret;
1177  }
1178 
1179  public Constraint MakeNotBetweenCt(IntExpr expr, long l, long u) {
1180  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNotBetweenCt(swigCPtr, IntExpr.getCPtr(expr), l, u);
1181  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1182  return ret;
1183  }
1184 
1185  public Constraint MakeIsBetweenCt(IntExpr expr, long l, long u, IntVar b) {
1186  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsBetweenCt(swigCPtr, IntExpr.getCPtr(expr), l, u, IntVar.getCPtr(b));
1187  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1188  return ret;
1189  }
1190 
1191  public IntVar MakeIsBetweenVar(IntExpr v, long l, long u) {
1192  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsBetweenVar(swigCPtr, IntExpr.getCPtr(v), l, u);
1193  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
1194  return ret;
1195  }
1196 
1197  public Constraint MakeMemberCt(IntExpr expr, long[] values) {
1198  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMemberCt__SWIG_0(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1199  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1200  return ret;
1201  }
1202 
1203  public Constraint MakeMemberCt(IntExpr expr, int[] values) {
1204  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMemberCt__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1205  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1206  return ret;
1207  }
1208 
1209  public Constraint MakeNotMemberCt(IntExpr expr, long[] values) {
1210  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNotMemberCt__SWIG_0(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1211  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1212  return ret;
1213  }
1214 
1215  public Constraint MakeNotMemberCt(IntExpr expr, int[] values) {
1216  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNotMemberCt__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1217  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1218  return ret;
1219  }
1220 
1221  public Constraint MakeNotMemberCt(IntExpr expr, long[] starts, long[] ends) {
1222  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNotMemberCt__SWIG_2(swigCPtr, IntExpr.getCPtr(expr), starts.Length, starts , ends.Length, ends );
1223  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1224  return ret;
1225  }
1226 
1227  public Constraint MakeNotMemberCt(IntExpr expr, int[] starts, int[] ends) {
1228  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNotMemberCt__SWIG_3(swigCPtr, IntExpr.getCPtr(expr), starts.Length, starts , ends.Length, ends );
1229  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1230  return ret;
1231  }
1232 
1233  public Constraint MakeIsMemberCt(IntExpr expr, long[] values, IntVar boolvar) {
1234  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsMemberCt__SWIG_0(swigCPtr, IntExpr.getCPtr(expr), values.Length, values , IntVar.getCPtr(boolvar));
1235  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1236  return ret;
1237  }
1238 
1239  public Constraint MakeIsMemberCt(IntExpr expr, int[] values, IntVar boolvar) {
1240  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsMemberCt__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), values.Length, values , IntVar.getCPtr(boolvar));
1241  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1242  return ret;
1243  }
1244 
1245  public IntVar MakeIsMemberVar(IntExpr expr, long[] values) {
1246  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsMemberVar__SWIG_0(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1247  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
1248  return ret;
1249  }
1250 
1251  public IntVar MakeIsMemberVar(IntExpr expr, int[] values) {
1252  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIsMemberVar__SWIG_1(swigCPtr, IntExpr.getCPtr(expr), values.Length, values );
1253  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
1254  return ret;
1255  }
1256 
1257  public Constraint MakeCount(IntVarVector vars, long value, long max_count) {
1258  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCount__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), value, max_count);
1259  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1261  return ret;
1262  }
1263 
1264  public Constraint MakeCount(IntVarVector vars, long value, IntVar max_count) {
1265  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCount__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), value, IntVar.getCPtr(max_count));
1266  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1268  return ret;
1269  }
1270 
1271  public Constraint MakeDistribute(IntVarVector vars, long[] values, IntVarVector cards) {
1272  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), values.Length, values , IntVarVector.getCPtr(cards));
1273  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1275  return ret;
1276  }
1277 
1278  public Constraint MakeDistribute(IntVarVector vars, int[] values, IntVarVector cards) {
1279  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), values.Length, values , IntVarVector.getCPtr(cards));
1280  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1282  return ret;
1283  }
1284 
1286  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(cards));
1287  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1289  return ret;
1290  }
1291 
1292  public Constraint MakeDistribute(IntVarVector vars, long card_min, long card_max, long card_size) {
1293  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_3(swigCPtr, IntVarVector.getCPtr(vars), card_min, card_max, card_size);
1294  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1296  return ret;
1297  }
1298 
1299  public Constraint MakeDistribute(IntVarVector vars, long[] card_min, long[] card_max) {
1300  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_4(swigCPtr, IntVarVector.getCPtr(vars), card_min.Length, card_min , card_max.Length, card_max );
1301  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1303  return ret;
1304  }
1305 
1306  public Constraint MakeDistribute(IntVarVector vars, int[] card_min, int[] card_max) {
1307  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_5(swigCPtr, IntVarVector.getCPtr(vars), card_min.Length, card_min , card_max.Length, card_max );
1308  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1310  return ret;
1311  }
1312 
1313  public Constraint MakeDistribute(IntVarVector vars, long[] values, long[] card_min, long[] card_max) {
1314  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_6(swigCPtr, IntVarVector.getCPtr(vars), values.Length, values , card_min.Length, card_min , card_max.Length, card_max );
1315  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1317  return ret;
1318  }
1319 
1320  public Constraint MakeDistribute(IntVarVector vars, int[] values, int[] card_min, int[] card_max) {
1321  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDistribute__SWIG_7(swigCPtr, IntVarVector.getCPtr(vars), values.Length, values , card_min.Length, card_min , card_max.Length, card_max );
1322  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1324  return ret;
1325  }
1326 
1327  public Constraint MakeDeviation(IntVarVector vars, IntVar deviation_var, long total_sum) {
1328  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDeviation(swigCPtr, IntVarVector.getCPtr(vars), IntVar.getCPtr(deviation_var), total_sum);
1329  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1331  return ret;
1332  }
1333 
1335  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAllDifferent__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars));
1336  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1338  return ret;
1339  }
1340 
1341  public Constraint MakeAllDifferent(IntVarVector vars, bool stronger_propagation) {
1342  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAllDifferent__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), stronger_propagation);
1343  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1345  return ret;
1346  }
1347 
1348  public Constraint MakeAllDifferentExcept(IntVarVector vars, long escape_value) {
1349  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAllDifferentExcept(swigCPtr, IntVarVector.getCPtr(vars), escape_value);
1350  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1352  return ret;
1353  }
1354 
1356  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSortingConstraint(swigCPtr, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(sorted));
1357  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1359  return ret;
1360  }
1361 
1363  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLexicalLess(swigCPtr, IntVarVector.getCPtr(left), IntVarVector.getCPtr(right));
1364  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1366  return ret;
1367  }
1368 
1370  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLexicalLessOrEqual(swigCPtr, IntVarVector.getCPtr(left), IntVarVector.getCPtr(right));
1371  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1373  return ret;
1374  }
1375 
1377  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeInversePermutationConstraint(swigCPtr, IntVarVector.getCPtr(left), IntVarVector.getCPtr(right));
1378  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1380  return ret;
1381  }
1382 
1384  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIndexOfFirstMaxValueConstraint(swigCPtr, IntVar.getCPtr(index), IntVarVector.getCPtr(vars));
1385  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1387  return ret;
1388  }
1389 
1391  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIndexOfFirstMinValueConstraint(swigCPtr, IntVar.getCPtr(index), IntVarVector.getCPtr(vars));
1392  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1394  return ret;
1395  }
1396 
1397  public Constraint MakeNullIntersect(IntVarVector first_vars, IntVarVector second_vars) {
1398  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNullIntersect(swigCPtr, IntVarVector.getCPtr(first_vars), IntVarVector.getCPtr(second_vars));
1399  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1401  return ret;
1402  }
1403 
1404  public Constraint MakeNullIntersectExcept(IntVarVector first_vars, IntVarVector second_vars, long escape_value) {
1405  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNullIntersectExcept(swigCPtr, IntVarVector.getCPtr(first_vars), IntVarVector.getCPtr(second_vars), escape_value);
1406  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1408  return ret;
1409  }
1410 
1411  public Constraint MakeNoCycle(IntVarVector nexts, IntVarVector active, LongToBoolean sink_handler) {
1412  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNoCycle__SWIG_0(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), StoreLongToBoolean(sink_handler) );
1413  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1415  return ret;
1416  }
1417 
1419  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNoCycle__SWIG_1(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active));
1420  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1422  return ret;
1423  }
1424 
1425  public Constraint MakeNoCycle(IntVarVector nexts, IntVarVector active, LongToBoolean sink_handler, bool assume_paths) {
1426  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNoCycle__SWIG_2(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), StoreLongToBoolean(sink_handler) , assume_paths);
1427  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1429  return ret;
1430  }
1431 
1433  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCircuit(swigCPtr, IntVarVector.getCPtr(nexts));
1434  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1436  return ret;
1437  }
1438 
1440  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSubCircuit(swigCPtr, IntVarVector.getCPtr(nexts));
1441  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1443  return ret;
1444  }
1445 
1447  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePathCumul__SWIG_0(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), IntVarVector.getCPtr(cumuls), IntVarVector.getCPtr(transits));
1448  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1450  return ret;
1451  }
1452 
1454  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDelayedPathCumul(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), IntVarVector.getCPtr(cumuls), IntVarVector.getCPtr(transits));
1455  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1457  return ret;
1458  }
1459 
1460  public Constraint MakePathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, LongLongToLong transit_evaluator) {
1461  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePathCumul__SWIG_1(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), IntVarVector.getCPtr(cumuls), StoreLongLongToLong(transit_evaluator) );
1462  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1464  return ret;
1465  }
1466 
1467  public Constraint MakePathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, IntVarVector slacks, LongLongToLong transit_evaluator) {
1468  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePathCumul__SWIG_2(swigCPtr, IntVarVector.getCPtr(nexts), IntVarVector.getCPtr(active), IntVarVector.getCPtr(cumuls), IntVarVector.getCPtr(slacks), StoreLongLongToLong(transit_evaluator) );
1469  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1471  return ret;
1472  }
1473 
1474  public Constraint MakePathConnected(IntVarVector nexts, long[] sources, long[] sinks, IntVarVector status) {
1475  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePathConnected(swigCPtr, IntVarVector.getCPtr(nexts), sources.Length, sources , sinks.Length, sinks , IntVarVector.getCPtr(status));
1476  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1478  return ret;
1479  }
1480 
1482  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMapDomain(swigCPtr, IntVar.getCPtr(var), IntVarVector.getCPtr(actives));
1483  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1485  return ret;
1486  }
1487 
1489  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAllowedAssignments(swigCPtr, IntVarVector.getCPtr(vars), IntTupleSet.getCPtr(tuples));
1490  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1492  return ret;
1493  }
1494 
1495  public Constraint MakeTransitionConstraint(IntVarVector vars, IntTupleSet transition_table, long initial_state, long[] final_states) {
1496  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTransitionConstraint__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), IntTupleSet.getCPtr(transition_table), initial_state, final_states.Length, final_states );
1497  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1499  return ret;
1500  }
1501 
1502  public Constraint MakeTransitionConstraint(IntVarVector vars, IntTupleSet transition_table, long initial_state, int[] final_states) {
1503  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTransitionConstraint__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), IntTupleSet.getCPtr(transition_table), initial_state, final_states.Length, final_states );
1504  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1506  return ret;
1507  }
1508 
1510  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingBoxesConstraint__SWIG_0(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), IntVarVector.getCPtr(x_size), IntVarVector.getCPtr(y_size));
1511  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1513  return ret;
1514  }
1515 
1516  public Constraint MakeNonOverlappingBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, long[] x_size, long[] y_size) {
1517  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingBoxesConstraint__SWIG_1(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), x_size.Length, x_size , y_size.Length, y_size );
1518  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1520  return ret;
1521  }
1522 
1523  public Constraint MakeNonOverlappingBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, int[] x_size, int[] y_size) {
1524  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingBoxesConstraint__SWIG_2(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), x_size.Length, x_size , y_size.Length, y_size );
1525  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1527  return ret;
1528  }
1529 
1531  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_0(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), IntVarVector.getCPtr(x_size), IntVarVector.getCPtr(y_size));
1532  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1534  return ret;
1535  }
1536 
1537  public Constraint MakeNonOverlappingNonStrictBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, long[] x_size, long[] y_size) {
1538  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_1(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), x_size.Length, x_size , y_size.Length, y_size );
1539  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1541  return ret;
1542  }
1543 
1544  public Constraint MakeNonOverlappingNonStrictBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, int[] x_size, int[] y_size) {
1545  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_2(swigCPtr, IntVarVector.getCPtr(x_vars), IntVarVector.getCPtr(y_vars), x_size.Length, x_size , y_size.Length, y_size );
1546  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1548  return ret;
1549  }
1550 
1551  public Pack MakePack(IntVarVector vars, int number_of_bins) {
1552  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePack(swigCPtr, IntVarVector.getCPtr(vars), number_of_bins);
1553  Pack ret = (cPtr == global::System.IntPtr.Zero) ? null : new Pack(cPtr, false);
1555  return ret;
1556  }
1557 
1558  public IntervalVar MakeFixedDurationIntervalVar(long start_min, long start_max, long duration, bool optional, string name) {
1559  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationIntervalVar__SWIG_0(swigCPtr, start_min, start_max, duration, optional, name);
1560  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1562  return ret;
1563  }
1564 
1565  public IntervalVar MakeFixedDurationIntervalVar(IntVar start_variable, long duration, string name) {
1566  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationIntervalVar__SWIG_1(swigCPtr, IntVar.getCPtr(start_variable), duration, name);
1567  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1569  return ret;
1570  }
1571 
1572  public IntervalVar MakeFixedDurationIntervalVar(IntVar start_variable, long duration, IntVar performed_variable, string name) {
1573  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationIntervalVar__SWIG_2(swigCPtr, IntVar.getCPtr(start_variable), duration, IntVar.getCPtr(performed_variable), name);
1574  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1576  return ret;
1577  }
1578 
1579  public IntervalVar MakeFixedInterval(long start, long duration, string name) {
1580  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedInterval(swigCPtr, start, duration, name);
1581  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1583  return ret;
1584  }
1585 
1586  public IntervalVar MakeIntervalVar(long start_min, long start_max, long duration_min, long duration_max, long end_min, long end_max, bool optional, string name) {
1587  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalVar(swigCPtr, start_min, start_max, duration_min, duration_max, end_min, end_max, optional, name);
1588  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1590  return ret;
1591  }
1592 
1593  public void MakeIntervalVarArray(int count, long start_min, long start_max, long duration_min, long duration_max, long end_min, long end_max, bool optional, string name, IntervalVarVector array) {
1594  operations_research_constraint_solverPINVOKE.Solver_MakeIntervalVarArray(swigCPtr, count, start_min, start_max, duration_min, duration_max, end_min, end_max, optional, name, IntervalVarVector.getCPtr(array));
1596  }
1597 
1599  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMirrorInterval(swigCPtr, IntervalVar.getCPtr(interval_var));
1600  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1601  return ret;
1602  }
1603 
1604  public IntervalVar MakeFixedDurationStartSyncedOnStartIntervalVar(IntervalVar interval_var, long duration, long offset) {
1605  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationStartSyncedOnStartIntervalVar(swigCPtr, IntervalVar.getCPtr(interval_var), duration, offset);
1606  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1607  return ret;
1608  }
1609 
1610  public IntervalVar MakeFixedDurationStartSyncedOnEndIntervalVar(IntervalVar interval_var, long duration, long offset) {
1611  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationStartSyncedOnEndIntervalVar(swigCPtr, IntervalVar.getCPtr(interval_var), duration, offset);
1612  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1613  return ret;
1614  }
1615 
1616  public IntervalVar MakeFixedDurationEndSyncedOnStartIntervalVar(IntervalVar interval_var, long duration, long offset) {
1617  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationEndSyncedOnStartIntervalVar(swigCPtr, IntervalVar.getCPtr(interval_var), duration, offset);
1618  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1619  return ret;
1620  }
1621 
1622  public IntervalVar MakeFixedDurationEndSyncedOnEndIntervalVar(IntervalVar interval_var, long duration, long offset) {
1623  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFixedDurationEndSyncedOnEndIntervalVar(swigCPtr, IntervalVar.getCPtr(interval_var), duration, offset);
1624  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1625  return ret;
1626  }
1627 
1629  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalRelaxedMin(swigCPtr, IntervalVar.getCPtr(interval_var));
1630  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1631  return ret;
1632  }
1633 
1635  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalRelaxedMax(swigCPtr, IntervalVar.getCPtr(interval_var));
1636  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
1637  return ret;
1638  }
1639 
1641  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalVarRelation__SWIG_0(swigCPtr, IntervalVar.getCPtr(t), r, d);
1642  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1643  return ret;
1644  }
1645 
1647  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalVarRelation__SWIG_1(swigCPtr, IntervalVar.getCPtr(t1), r, IntervalVar.getCPtr(t2));
1648  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1649  return ret;
1650  }
1651 
1653  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeIntervalVarRelationWithDelay(swigCPtr, IntervalVar.getCPtr(t1), r, IntervalVar.getCPtr(t2), delay);
1654  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1655  return ret;
1656  }
1657 
1659  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTemporalDisjunction__SWIG_0(swigCPtr, IntervalVar.getCPtr(t1), IntervalVar.getCPtr(t2), IntVar.getCPtr(alt));
1660  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1661  return ret;
1662  }
1663 
1665  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTemporalDisjunction__SWIG_1(swigCPtr, IntervalVar.getCPtr(t1), IntervalVar.getCPtr(t2));
1666  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1667  return ret;
1668  }
1669 
1671  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDisjunctiveConstraint(swigCPtr, IntervalVarVector.getCPtr(intervals), name);
1672  DisjunctiveConstraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new DisjunctiveConstraint(cPtr, false);
1674  return ret;
1675  }
1676 
1678  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeStrictDisjunctiveConstraint(swigCPtr, IntervalVarVector.getCPtr(intervals), name);
1679  DisjunctiveConstraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new DisjunctiveConstraint(cPtr, false);
1681  return ret;
1682  }
1683 
1684  public Constraint MakeCumulative(IntervalVarVector intervals, long[] demands, long capacity, string name) {
1685  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_0(swigCPtr, IntervalVarVector.getCPtr(intervals), demands.Length, demands , capacity, name);
1686  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1688  return ret;
1689  }
1690 
1691  public Constraint MakeCumulative(IntervalVarVector intervals, int[] demands, long capacity, string name) {
1692  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_1(swigCPtr, IntervalVarVector.getCPtr(intervals), demands.Length, demands , capacity, name);
1693  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1695  return ret;
1696  }
1697 
1698  public Constraint MakeCumulative(IntervalVarVector intervals, long[] demands, IntVar capacity, string name) {
1699  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_2(swigCPtr, IntervalVarVector.getCPtr(intervals), demands.Length, demands , IntVar.getCPtr(capacity), name);
1700  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1702  return ret;
1703  }
1704 
1705  public Constraint MakeCumulative(IntervalVarVector intervals, int[] demands, IntVar capacity, string name) {
1706  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_3(swigCPtr, IntervalVarVector.getCPtr(intervals), demands.Length, demands , IntVar.getCPtr(capacity), name);
1707  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1709  return ret;
1710  }
1711 
1712  public Constraint MakeCumulative(IntervalVarVector intervals, IntVarVector demands, long capacity, string name) {
1713  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_4(swigCPtr, IntervalVarVector.getCPtr(intervals), IntVarVector.getCPtr(demands), capacity, name);
1714  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1716  return ret;
1717  }
1718 
1719  public Constraint MakeCumulative(IntervalVarVector intervals, IntVarVector demands, IntVar capacity, string name) {
1720  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCumulative__SWIG_5(swigCPtr, IntervalVarVector.getCPtr(intervals), IntVarVector.getCPtr(demands), IntVar.getCPtr(capacity), name);
1721  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1723  return ret;
1724  }
1725 
1727  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCover(swigCPtr, IntervalVarVector.getCPtr(vars), IntervalVar.getCPtr(target_var));
1728  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1730  return ret;
1731  }
1732 
1734  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeEquality__SWIG_3(swigCPtr, IntervalVar.getCPtr(var1), IntervalVar.getCPtr(var2));
1735  Constraint ret = (cPtr == global::System.IntPtr.Zero) ? null : new Constraint(cPtr, false);
1736  return ret;
1737  }
1738 
1740  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignment__SWIG_0(swigCPtr);
1741  Assignment ret = (cPtr == global::System.IntPtr.Zero) ? null : new Assignment(cPtr, false);
1742  return ret;
1743  }
1744 
1746  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignment__SWIG_1(swigCPtr, Assignment.getCPtr(a));
1747  Assignment ret = (cPtr == global::System.IntPtr.Zero) ? null : new Assignment(cPtr, false);
1748  return ret;
1749  }
1750 
1752  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFirstSolutionCollector__SWIG_0(swigCPtr, Assignment.getCPtr(assignment));
1753  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1754  return ret;
1755  }
1756 
1759  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1760  return ret;
1761  }
1762 
1764  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLastSolutionCollector__SWIG_0(swigCPtr, Assignment.getCPtr(assignment));
1765  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1766  return ret;
1767  }
1768 
1771  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1772  return ret;
1773  }
1774 
1776  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeBestValueSolutionCollector__SWIG_0(swigCPtr, Assignment.getCPtr(assignment), maximize);
1777  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1778  return ret;
1779  }
1780 
1783  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1784  return ret;
1785  }
1786 
1787  public SolutionCollector MakeNBestValueSolutionCollector(Assignment assignment, int solution_count, bool maximize) {
1788  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNBestValueSolutionCollector__SWIG_0(swigCPtr, Assignment.getCPtr(assignment), solution_count, maximize);
1789  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1790  return ret;
1791  }
1792 
1793  public SolutionCollector MakeNBestValueSolutionCollector(int solution_count, bool maximize) {
1794  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNBestValueSolutionCollector__SWIG_1(swigCPtr, solution_count, maximize);
1795  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1796  return ret;
1797  }
1798 
1800  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAllSolutionCollector__SWIG_0(swigCPtr, Assignment.getCPtr(assignment));
1801  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1802  return ret;
1803  }
1804 
1807  SolutionCollector ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionCollector(cPtr, false);
1808  return ret;
1809  }
1810 
1811  public OptimizeVar MakeMinimize(IntVar v, long step) {
1812  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMinimize(swigCPtr, IntVar.getCPtr(v), step);
1813  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1814  return ret;
1815  }
1816 
1817  public OptimizeVar MakeMaximize(IntVar v, long step) {
1818  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMaximize(swigCPtr, IntVar.getCPtr(v), step);
1819  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1820  return ret;
1821  }
1822 
1823  public OptimizeVar MakeOptimize(bool maximize, IntVar v, long step) {
1824  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOptimize(swigCPtr, maximize, IntVar.getCPtr(v), step);
1825  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1826  return ret;
1827  }
1828 
1829  public OptimizeVar MakeWeightedMinimize(IntVarVector sub_objectives, long[] weights, long step) {
1830  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedMinimize__SWIG_0(swigCPtr, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1831  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1833  return ret;
1834  }
1835 
1836  public OptimizeVar MakeWeightedMinimize(IntVarVector sub_objectives, int[] weights, long step) {
1837  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedMinimize__SWIG_1(swigCPtr, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1838  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1840  return ret;
1841  }
1842 
1843  public OptimizeVar MakeWeightedMaximize(IntVarVector sub_objectives, long[] weights, long step) {
1844  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedMaximize__SWIG_0(swigCPtr, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1845  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1847  return ret;
1848  }
1849 
1850  public OptimizeVar MakeWeightedMaximize(IntVarVector sub_objectives, int[] weights, long step) {
1851  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedMaximize__SWIG_1(swigCPtr, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1852  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1854  return ret;
1855  }
1856 
1857  public OptimizeVar MakeWeightedOptimize(bool maximize, IntVarVector sub_objectives, long[] weights, long step) {
1858  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedOptimize__SWIG_0(swigCPtr, maximize, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1859  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1861  return ret;
1862  }
1863 
1864  public OptimizeVar MakeWeightedOptimize(bool maximize, IntVarVector sub_objectives, int[] weights, long step) {
1865  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeWeightedOptimize__SWIG_1(swigCPtr, maximize, IntVarVector.getCPtr(sub_objectives), weights.Length, weights , step);
1866  OptimizeVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new OptimizeVar(cPtr, false);
1868  return ret;
1869  }
1870 
1871  public SearchMonitor MakeTabuSearch(bool maximize, IntVar v, long step, IntVarVector vars, long keep_tenure, long forbid_tenure, double tabu_factor) {
1872  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTabuSearch(swigCPtr, maximize, IntVar.getCPtr(v), step, IntVarVector.getCPtr(vars), keep_tenure, forbid_tenure, tabu_factor);
1873  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1875  return ret;
1876  }
1877 
1878  public SearchMonitor MakeGenericTabuSearch(bool maximize, IntVar v, long step, IntVarVector tabu_vars, long forbid_tenure) {
1879  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGenericTabuSearch(swigCPtr, maximize, IntVar.getCPtr(v), step, IntVarVector.getCPtr(tabu_vars), forbid_tenure);
1880  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1882  return ret;
1883  }
1884 
1885  public SearchMonitor MakeSimulatedAnnealing(bool maximize, IntVar v, long step, long initial_temperature) {
1886  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSimulatedAnnealing(swigCPtr, maximize, IntVar.getCPtr(v), step, initial_temperature);
1887  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1888  return ret;
1889  }
1890 
1891  public SearchMonitor MakeGuidedLocalSearch(bool maximize, IntVar objective, LongLongToLong objective_function, long step, IntVarVector vars, double penalty_factor) {
1892  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGuidedLocalSearch__SWIG_0(swigCPtr, maximize, IntVar.getCPtr(objective), StoreLongLongToLong(objective_function) , step, IntVarVector.getCPtr(vars), penalty_factor);
1893  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1895  return ret;
1896  }
1897 
1898  public SearchMonitor MakeGuidedLocalSearch(bool maximize, IntVar objective, LongLongLongToLong objective_function, long step, IntVarVector vars, IntVarVector secondary_vars, double penalty_factor) {
1899  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeGuidedLocalSearch__SWIG_1(swigCPtr, maximize, IntVar.getCPtr(objective), StoreLongLongLongToLong(objective_function) , step, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(secondary_vars), penalty_factor);
1900  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1902  return ret;
1903  }
1904 
1905  public SearchMonitor MakeLubyRestart(int scale_factor) {
1906  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLubyRestart(swigCPtr, scale_factor);
1907  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1908  return ret;
1909  }
1910 
1911  public SearchMonitor MakeConstantRestart(int frequency) {
1912  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeConstantRestart(swigCPtr, frequency);
1913  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
1914  return ret;
1915  }
1916 
1917  public RegularLimit MakeTimeLimit(long time_in_ms) {
1918  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeTimeLimit(swigCPtr, time_in_ms);
1919  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1920  return ret;
1921  }
1922 
1923  public RegularLimit MakeBranchesLimit(long branches) {
1924  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeBranchesLimit(swigCPtr, branches);
1925  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1926  return ret;
1927  }
1928 
1929  public RegularLimit MakeFailuresLimit(long failures) {
1930  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFailuresLimit(swigCPtr, failures);
1931  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1932  return ret;
1933  }
1934 
1935  public RegularLimit MakeSolutionsLimit(long solutions) {
1936  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolutionsLimit(swigCPtr, solutions);
1937  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1938  return ret;
1939  }
1940 
1941  public RegularLimit MakeLimit(long time, long branches, long failures, long solutions) {
1942  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLimit__SWIG_0(swigCPtr, time, branches, failures, solutions);
1943  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1944  return ret;
1945  }
1946 
1947  public RegularLimit MakeLimit(long time, long branches, long failures, long solutions, bool smart_time_check) {
1948  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLimit__SWIG_1(swigCPtr, time, branches, failures, solutions, smart_time_check);
1949  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1950  return ret;
1951  }
1952 
1953  public RegularLimit MakeLimit(long time, long branches, long failures, long solutions, bool smart_time_check, bool cumulative) {
1954  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLimit__SWIG_2(swigCPtr, time, branches, failures, solutions, smart_time_check, cumulative);
1955  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1956  return ret;
1957  }
1958 
1960  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLimit__SWIG_3(swigCPtr, proto.CalculateSize(), ProtoHelper.ProtoToByteArray(proto));
1961  RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
1962  return ret;
1963  }
1964 
1966  byte[] tmp = new byte[4];
1968  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
1969  int size = System.BitConverter.ToInt32(tmp, 0);
1970  byte[] buf = new byte[size + 4];
1971  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
1972  // TODO(user): delete the C++ buffer.
1973  try {
1974  Google.Protobuf.CodedInputStream input =
1975  new Google.Protobuf.CodedInputStream(buf, 4, size);
1977  proto.MergeFrom(input);
1978  return proto;
1979  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
1980  throw new System.Exception(
1981  "Unable to parse Google.OrTools.ConstraintSolver.RegularLimitParameters protocol message.");
1982  }
1983 }
1984 
1985  public SearchLimit MakeLimit(SearchLimit limit_1, SearchLimit limit_2) {
1986  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLimit__SWIG_4(swigCPtr, SearchLimit.getCPtr(limit_1), SearchLimit.getCPtr(limit_2));
1987  SearchLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchLimit(cPtr, false);
1988  return ret;
1989  }
1990 
1992  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeCustomLimit(swigCPtr, StoreVoidToBoolean(limiter) );
1993  SearchLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchLimit(cPtr, false);
1994  return ret;
1995  }
1996 
1997  public SearchMonitor MakeSearchLog(int branch_period) {
1998  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_0(swigCPtr, branch_period);
1999  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2000  return ret;
2001  }
2002 
2003  public SearchMonitor MakeSearchLog(int branch_period, IntVar var) {
2004  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_1(swigCPtr, branch_period, IntVar.getCPtr(var));
2005  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2006  return ret;
2007  }
2008 
2009  public SearchMonitor MakeSearchLog(int branch_period, VoidToString display_callback) {
2010  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_2(swigCPtr, branch_period, StoreVoidToString(display_callback) );
2011  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2012  return ret;
2013  }
2014 
2015  public SearchMonitor MakeSearchLog(int branch_period, IntVar var, VoidToString display_callback) {
2016  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_3(swigCPtr, branch_period, IntVar.getCPtr(var), StoreVoidToString(display_callback) );
2017  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2018  return ret;
2019  }
2020 
2021  public SearchMonitor MakeSearchLog(int branch_period, OptimizeVar opt_var) {
2022  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_4(swigCPtr, branch_period, OptimizeVar.getCPtr(opt_var));
2023  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2024  return ret;
2025  }
2026 
2027  public SearchMonitor MakeSearchLog(int branch_period, OptimizeVar opt_var, VoidToString display_callback) {
2028  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchLog__SWIG_5(swigCPtr, branch_period, OptimizeVar.getCPtr(opt_var), StoreVoidToString(display_callback) );
2029  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2030  return ret;
2031  }
2032 
2033  public SearchMonitor MakeSearchTrace(string prefix) {
2034  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSearchTrace(swigCPtr, prefix);
2035  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2037  return ret;
2038  }
2039 
2041  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeEnterSearchCallback(swigCPtr, StoreVoidToVoid(callback) );
2042  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2043  return ret;
2044  }
2045 
2047  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeExitSearchCallback(swigCPtr, StoreVoidToVoid(callback) );
2048  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2049  return ret;
2050  }
2051 
2053  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAtSolutionCallback(swigCPtr, StoreVoidToVoid(callback) );
2054  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2055  return ret;
2056  }
2057 
2059  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePrintModelVisitor(swigCPtr);
2060  ModelVisitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new ModelVisitor(cPtr, false);
2061  return ret;
2062  }
2063 
2066  ModelVisitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new ModelVisitor(cPtr, false);
2067  return ret;
2068  }
2069 
2071  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSymmetryManager__SWIG_0(swigCPtr, SymmetryBreakerVector.getCPtr(visitors));
2072  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2074  return ret;
2075  }
2076 
2078  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSymmetryManager__SWIG_1(swigCPtr, SymmetryBreaker.getCPtr(v1));
2079  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2080  return ret;
2081  }
2082 
2084  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSymmetryManager__SWIG_2(swigCPtr, SymmetryBreaker.getCPtr(v1), SymmetryBreaker.getCPtr(v2));
2085  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2086  return ret;
2087  }
2088 
2090  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSymmetryManager__SWIG_3(swigCPtr, SymmetryBreaker.getCPtr(v1), SymmetryBreaker.getCPtr(v2), SymmetryBreaker.getCPtr(v3));
2091  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2092  return ret;
2093  }
2094 
2096  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSymmetryManager__SWIG_4(swigCPtr, SymmetryBreaker.getCPtr(v1), SymmetryBreaker.getCPtr(v2), SymmetryBreaker.getCPtr(v3), SymmetryBreaker.getCPtr(v4));
2097  SearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchMonitor(cPtr, false);
2098  return ret;
2099  }
2100 
2101  public Decision MakeAssignVariableValue(IntVar var, long val) {
2102  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignVariableValue(swigCPtr, IntVar.getCPtr(var), val);
2103  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2104  return ret;
2105  }
2106 
2108  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeVariableLessOrEqualValue(swigCPtr, IntVar.getCPtr(var), value);
2109  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2110  return ret;
2111  }
2112 
2114  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeVariableGreaterOrEqualValue(swigCPtr, IntVar.getCPtr(var), value);
2115  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2116  return ret;
2117  }
2118 
2119  public Decision MakeSplitVariableDomain(IntVar var, long val, bool start_with_lower_half) {
2120  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSplitVariableDomain(swigCPtr, IntVar.getCPtr(var), val, start_with_lower_half);
2121  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2122  return ret;
2123  }
2124 
2126  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignVariableValueOrFail(swigCPtr, IntVar.getCPtr(var), value);
2127  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2128  return ret;
2129  }
2130 
2132  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignVariableValueOrDoNothing(swigCPtr, IntVar.getCPtr(var), value);
2133  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2134  return ret;
2135  }
2136 
2137  public Decision MakeAssignVariablesValues(IntVarVector vars, long[] values) {
2138  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAssignVariablesValues(swigCPtr, IntVarVector.getCPtr(vars), values.Length, values );
2139  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2141  return ret;
2142  }
2143 
2145  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeFailDecision(swigCPtr);
2146  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2147  return ret;
2148  }
2149 
2151  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDecision(swigCPtr, StoreSolverToVoid(apply) , StoreSolverToVoid(refute) );
2152  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2153  return ret;
2154  }
2155 
2157  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Compose__SWIG_0(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2));
2158  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2159  return ret;
2160  }
2161 
2163  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Compose__SWIG_1(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2), DecisionBuilder.getCPtr(db3));
2164  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2165  return ret;
2166  }
2167 
2169  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Compose__SWIG_2(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2), DecisionBuilder.getCPtr(db3), DecisionBuilder.getCPtr(db4));
2170  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2171  return ret;
2172  }
2173 
2175  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Compose__SWIG_3(swigCPtr, DecisionBuilderVector.getCPtr(dbs));
2176  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2178  return ret;
2179  }
2180 
2182  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Try__SWIG_0(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2));
2183  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2184  return ret;
2185  }
2186 
2188  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Try__SWIG_1(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2), DecisionBuilder.getCPtr(db3));
2189  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2190  return ret;
2191  }
2192 
2194  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Try__SWIG_2(swigCPtr, DecisionBuilder.getCPtr(db1), DecisionBuilder.getCPtr(db2), DecisionBuilder.getCPtr(db3), DecisionBuilder.getCPtr(db4));
2195  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2196  return ret;
2197  }
2198 
2200  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Try__SWIG_3(swigCPtr, DecisionBuilderVector.getCPtr(dbs));
2201  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2203  return ret;
2204  }
2205 
2206  public DecisionBuilder MakePhase(IntVarVector vars, int var_str, int val_str) {
2207  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), var_str, val_str);
2208  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2210  return ret;
2211  }
2212 
2213  public DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, int val_str) {
2214  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), StoreLongToLong(var_evaluator) , val_str);
2215  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2217  return ret;
2218  }
2219 
2220  public DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongToLong value_evaluator) {
2221  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), var_str, StoreLongLongToLong(value_evaluator) );
2222  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2224  return ret;
2225  }
2226 
2227  public DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongLongToBoolean var_val1_val2_comparator) {
2228  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_3(swigCPtr, IntVarVector.getCPtr(vars), var_str, StoreLongLongLongToBoolean(var_val1_val2_comparator) );
2229  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2231  return ret;
2232  }
2233 
2234  public DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, LongLongToLong value_evaluator) {
2235  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_4(swigCPtr, IntVarVector.getCPtr(vars), StoreLongToLong(var_evaluator) , StoreLongLongToLong(value_evaluator) );
2236  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2238  return ret;
2239  }
2240 
2241  public DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongToLong value_evaluator, LongToLong tie_breaker) {
2242  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_5(swigCPtr, IntVarVector.getCPtr(vars), var_str, StoreLongLongToLong(value_evaluator) , StoreLongToLong(tie_breaker) );
2243  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2245  return ret;
2246  }
2247 
2248  public DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, LongLongToLong value_evaluator, LongToLong tie_breaker) {
2249  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_6(swigCPtr, IntVarVector.getCPtr(vars), StoreLongToLong(var_evaluator) , StoreLongLongToLong(value_evaluator) , StoreLongToLong(tie_breaker) );
2250  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2252  return ret;
2253  }
2254 
2256  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDefaultPhase__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars));
2257  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2259  return ret;
2260  }
2261 
2263  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDefaultPhase__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), DefaultPhaseParameters.getCPtr(parameters));
2264  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2266  return ret;
2267  }
2268 
2269  public DecisionBuilder MakePhase(IntVar v0, int var_str, int val_str) {
2270  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_7(swigCPtr, IntVar.getCPtr(v0), var_str, val_str);
2271  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2272  return ret;
2273  }
2274 
2275  public DecisionBuilder MakePhase(IntVar v0, IntVar v1, int var_str, int val_str) {
2276  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_8(swigCPtr, IntVar.getCPtr(v0), IntVar.getCPtr(v1), var_str, val_str);
2277  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2278  return ret;
2279  }
2280 
2281  public DecisionBuilder MakePhase(IntVar v0, IntVar v1, IntVar v2, int var_str, int val_str) {
2282  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_9(swigCPtr, IntVar.getCPtr(v0), IntVar.getCPtr(v1), IntVar.getCPtr(v2), var_str, val_str);
2283  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2284  return ret;
2285  }
2286 
2287  public DecisionBuilder MakePhase(IntVar v0, IntVar v1, IntVar v2, IntVar v3, int var_str, int val_str) {
2288  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_10(swigCPtr, IntVar.getCPtr(v0), IntVar.getCPtr(v1), IntVar.getCPtr(v2), IntVar.getCPtr(v3), var_str, val_str);
2289  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2290  return ret;
2291  }
2292 
2293  public Decision MakeScheduleOrPostpone(IntervalVar var, long est, ref int marker) {
2294  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScheduleOrPostpone(swigCPtr, IntervalVar.getCPtr(var), est, ref marker);
2295  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2296  return ret;
2297  }
2298 
2299  public Decision MakeScheduleOrExpedite(IntervalVar var, long est, ref int marker) {
2300  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeScheduleOrExpedite(swigCPtr, IntervalVar.getCPtr(var), est, ref marker);
2301  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2302  return ret;
2303  }
2304 
2305  public Decision MakeRankFirstInterval(SequenceVar sequence, int index) {
2306  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRankFirstInterval(swigCPtr, SequenceVar.getCPtr(sequence), index);
2307  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2308  return ret;
2309  }
2310 
2311  public Decision MakeRankLastInterval(SequenceVar sequence, int index) {
2312  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRankLastInterval(swigCPtr, SequenceVar.getCPtr(sequence), index);
2313  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2314  return ret;
2315  }
2316 
2318  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_11(swigCPtr, IntVarVector.getCPtr(vars), StoreLongLongToLong(eval) , str);
2319  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2321  return ret;
2322  }
2323 
2324  public DecisionBuilder MakePhase(IntVarVector vars, LongLongToLong eval, LongToLong tie_breaker, int str) {
2325  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_12(swigCPtr, IntVarVector.getCPtr(vars), StoreLongLongToLong(eval) , StoreLongToLong(tie_breaker) , str);
2326  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2328  return ret;
2329  }
2330 
2331  public DecisionBuilder MakePhase(IntervalVarVector intervals, int str) {
2332  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_13(swigCPtr, IntervalVarVector.getCPtr(intervals), str);
2333  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2335  return ret;
2336  }
2337 
2338  public DecisionBuilder MakePhase(SequenceVarVector sequences, int str) {
2339  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakePhase__SWIG_14(swigCPtr, SequenceVarVector.getCPtr(sequences), str);
2340  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2342  return ret;
2343  }
2344 
2346  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeDecisionBuilderFromAssignment(swigCPtr, Assignment.getCPtr(assignment), DecisionBuilder.getCPtr(db), IntVarVector.getCPtr(vars));
2347  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2349  return ret;
2350  }
2351 
2353  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeConstraintAdder(swigCPtr, Constraint.getCPtr(ct));
2354  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2355  return ret;
2356  }
2357 
2359  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_0(swigCPtr, DecisionBuilder.getCPtr(db));
2360  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2361  return ret;
2362  }
2363 
2365  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_1(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(monitor1));
2366  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2367  return ret;
2368  }
2369 
2371  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_2(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2));
2372  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2373  return ret;
2374  }
2375 
2377  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_3(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2), SearchMonitor.getCPtr(monitor3));
2378  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2379  return ret;
2380  }
2381 
2383  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_4(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2), SearchMonitor.getCPtr(monitor3), SearchMonitor.getCPtr(monitor4));
2384  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2385  return ret;
2386  }
2387 
2389  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSolveOnce__SWIG_5(swigCPtr, DecisionBuilder.getCPtr(db), SearchMonitorVector.getCPtr(monitors));
2390  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2392  return ret;
2393  }
2394 
2395  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step) {
2396  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_0(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step);
2397  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2398  return ret;
2399  }
2400 
2401  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1) {
2402  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_1(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step, SearchMonitor.getCPtr(monitor1));
2403  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2404  return ret;
2405  }
2406 
2407  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2) {
2408  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_2(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step, SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2));
2409  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2410  return ret;
2411  }
2412 
2413  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3) {
2414  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_3(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step, SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2), SearchMonitor.getCPtr(monitor3));
2415  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2416  return ret;
2417  }
2418 
2419  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3, SearchMonitor monitor4) {
2420  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_4(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step, SearchMonitor.getCPtr(monitor1), SearchMonitor.getCPtr(monitor2), SearchMonitor.getCPtr(monitor3), SearchMonitor.getCPtr(monitor4));
2421  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2422  return ret;
2423  }
2424 
2425  public DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitorVector monitors) {
2426  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNestedOptimize__SWIG_5(swigCPtr, DecisionBuilder.getCPtr(db), Assignment.getCPtr(solution), maximize, step, SearchMonitorVector.getCPtr(monitors));
2427  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2429  return ret;
2430  }
2431 
2433  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRestoreAssignment(swigCPtr, Assignment.getCPtr(assignment));
2434  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2435  return ret;
2436  }
2437 
2439  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeStoreAssignment(swigCPtr, Assignment.getCPtr(assignment));
2440  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2441  return ret;
2442  }
2443 
2445  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOperator__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), op);
2446  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2448  return ret;
2449  }
2450 
2451  public LocalSearchOperator MakeOperator(IntVarVector vars, IntVarVector secondary_vars, int op) {
2452  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOperator__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(secondary_vars), op);
2453  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2455  return ret;
2456  }
2457 
2459  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOperator__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), StoreLongLongLongToLong(evaluator) , op);
2460  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2462  return ret;
2463  }
2464 
2465  public LocalSearchOperator MakeOperator(IntVarVector vars, IntVarVector secondary_vars, LongLongLongToLong evaluator, int op) {
2466  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeOperator__SWIG_3(swigCPtr, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(secondary_vars), StoreLongLongLongToLong(evaluator) , op);
2467  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2469  return ret;
2470  }
2471 
2472  public LocalSearchOperator MakeRandomLnsOperator(IntVarVector vars, int number_of_variables) {
2473  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRandomLnsOperator__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), number_of_variables);
2474  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2476  return ret;
2477  }
2478 
2479  public LocalSearchOperator MakeRandomLnsOperator(IntVarVector vars, int number_of_variables, int seed) {
2480  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRandomLnsOperator__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), number_of_variables, seed);
2481  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2483  return ret;
2484  }
2485 
2487  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMoveTowardTargetOperator__SWIG_0(swigCPtr, Assignment.getCPtr(target));
2488  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2490  return ret;
2491  }
2492 
2493  public LocalSearchOperator MakeMoveTowardTargetOperator(IntVarVector variables, long[] target_values) {
2494  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeMoveTowardTargetOperator__SWIG_1(swigCPtr, IntVarVector.getCPtr(variables), target_values.Length, target_values );
2495  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2497  return ret;
2498  }
2499 
2502  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2504  return ret;
2505  }
2506 
2508  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_ConcatenateOperators__SWIG_1(swigCPtr, LocalSearchOperatorVector.getCPtr(ops), restart);
2509  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2511  return ret;
2512  }
2513 
2515  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_ConcatenateOperators__SWIG_2(swigCPtr, LocalSearchOperatorVector.getCPtr(ops), StoreIntIntToLong(evaluator) );
2516  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2518  return ret;
2519  }
2520 
2523  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2525  return ret;
2526  }
2527 
2530  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2532  return ret;
2533  }
2534 
2536  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeNeighborhoodLimit(swigCPtr, LocalSearchOperator.getCPtr(op), limit);
2537  LocalSearchOperator ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchOperator(cPtr, false);
2538  return ret;
2539  }
2540 
2542  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhase__SWIG_0(swigCPtr, Assignment.getCPtr(assignment), LocalSearchPhaseParameters.getCPtr(parameters));
2543  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2544  return ret;
2545  }
2546 
2548  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhase__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), DecisionBuilder.getCPtr(first_solution), LocalSearchPhaseParameters.getCPtr(parameters));
2549  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2551  return ret;
2552  }
2553 
2554  public DecisionBuilder MakeLocalSearchPhase(IntVarVector vars, DecisionBuilder first_solution, DecisionBuilder first_solution_sub_decision_builder, LocalSearchPhaseParameters parameters) {
2555  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhase__SWIG_2(swigCPtr, IntVarVector.getCPtr(vars), DecisionBuilder.getCPtr(first_solution), DecisionBuilder.getCPtr(first_solution_sub_decision_builder), LocalSearchPhaseParameters.getCPtr(parameters));
2556  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2558  return ret;
2559  }
2560 
2562  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhase__SWIG_3(swigCPtr, SequenceVarVector.getCPtr(vars), DecisionBuilder.getCPtr(first_solution), LocalSearchPhaseParameters.getCPtr(parameters));
2563  DecisionBuilder ret = (cPtr == global::System.IntPtr.Zero) ? null : new DecisionBuilder(cPtr, false);
2565  return ret;
2566  }
2567 
2570  SolutionPool ret = (cPtr == global::System.IntPtr.Zero) ? null : new SolutionPool(cPtr, false);
2571  return ret;
2572  }
2573 
2575  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_0(swigCPtr, IntVar.getCPtr(objective), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder));
2576  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2577  return ret;
2578  }
2579 
2581  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_1(swigCPtr, IntVar.getCPtr(objective), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder), RegularLimit.getCPtr(limit));
2582  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2583  return ret;
2584  }
2585 
2587  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_2(swigCPtr, IntVar.getCPtr(objective), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder), RegularLimit.getCPtr(limit), LocalSearchFilterVector.getCPtr(filters));
2588  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2590  return ret;
2591  }
2592 
2594  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_3(swigCPtr, IntVar.getCPtr(objective), SolutionPool.getCPtr(pool), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder));
2595  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2596  return ret;
2597  }
2598 
2600  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_4(swigCPtr, IntVar.getCPtr(objective), SolutionPool.getCPtr(pool), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder), RegularLimit.getCPtr(limit));
2601  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2602  return ret;
2603  }
2604 
2606  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeLocalSearchPhaseParameters__SWIG_5(swigCPtr, IntVar.getCPtr(objective), SolutionPool.getCPtr(pool), LocalSearchOperator.getCPtr(ls_operator), DecisionBuilder.getCPtr(sub_decision_builder), RegularLimit.getCPtr(limit), LocalSearchFilterVector.getCPtr(filters));
2607  LocalSearchPhaseParameters ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchPhaseParameters(cPtr, false);
2609  return ret;
2610  }
2611 
2613  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeAcceptFilter(swigCPtr);
2614  LocalSearchFilter ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchFilter(cPtr, false);
2615  return ret;
2616  }
2617 
2619  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeRejectFilter(swigCPtr);
2620  LocalSearchFilter ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchFilter(cPtr, false);
2621  return ret;
2622  }
2623 
2626  LocalSearchFilter ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchFilter(cPtr, false);
2627  return ret;
2628  }
2629 
2631  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumObjectiveFilter__SWIG_0(swigCPtr, IntVarVector.getCPtr(vars), StoreLongLongToLong(values) , filter_enum);
2632  IntVarLocalSearchFilter ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVarLocalSearchFilter(cPtr, false);
2634  return ret;
2635  }
2636 
2637  public IntVarLocalSearchFilter MakeSumObjectiveFilter(IntVarVector vars, IntVarVector secondary_vars, LongLongLongToLong values, int filter_enum) {
2638  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_MakeSumObjectiveFilter__SWIG_1(swigCPtr, IntVarVector.getCPtr(vars), IntVarVector.getCPtr(secondary_vars), StoreLongLongLongToLong(values) , filter_enum);
2639  IntVarLocalSearchFilter ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVarLocalSearchFilter(cPtr, false);
2641  return ret;
2642  }
2643 
2644  public void TopPeriodicCheck() {
2646  }
2647 
2648  public int TopProgressPercent() {
2650  return ret;
2651  }
2652 
2653  public void PushState() {
2655  }
2656 
2657  public void PopState() {
2659  }
2660 
2661  public int SearchDepth() {
2663  return ret;
2664  }
2665 
2666  public int SearchLeftDepth() {
2668  return ret;
2669  }
2670 
2671  public int SolveDepth() {
2673  return ret;
2674  }
2675 
2676  public long Rand64(long size) {
2678  return ret;
2679  }
2680 
2681  public int Rand32(int size) {
2683  return ret;
2684  }
2685 
2686  public void ReSeed(int seed) {
2688  }
2689 
2690  public void ExportProfilingOverview(string filename) {
2693  }
2694 
2695  public string LocalSearchProfile() {
2697  return ret;
2698  }
2699 
2700  public bool CurrentlyInSolve() {
2702  return ret;
2703  }
2704 
2705  public int Constraints() {
2707  return ret;
2708  }
2709 
2710  public void Accept(ModelVisitor visitor) {
2712  }
2713 
2715  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_BalancingDecision(swigCPtr);
2716  Decision ret = (cPtr == global::System.IntPtr.Zero) ? null : new Decision(cPtr, false);
2717  return ret;
2718  }
2719 
2720  public void ClearFailIntercept() {
2722  }
2723 
2724  public void SetUseFastLocalSearch(bool use_fast_local_search) {
2726  }
2727 
2728  public bool UseFastLocalSearch() {
2730  return ret;
2731  }
2732 
2733  public bool HasName(PropagationBaseObject object_) {
2735  return ret;
2736  }
2737 
2738  public Demon RegisterDemon(Demon demon) {
2739  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_RegisterDemon(swigCPtr, Demon.getCPtr(demon));
2740  Demon ret = (cPtr == global::System.IntPtr.Zero) ? null : new Demon(cPtr, false);
2741  return ret;
2742  }
2743 
2745  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_RegisterIntExpr(swigCPtr, IntExpr.getCPtr(expr));
2746  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
2747  return ret;
2748  }
2749 
2751  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_RegisterIntVar(swigCPtr, IntVar.getCPtr(var));
2752  IntVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntVar(cPtr, false);
2753  return ret;
2754  }
2755 
2757  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_RegisterIntervalVar(swigCPtr, IntervalVar.getCPtr(var));
2758  IntervalVar ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntervalVar(cPtr, false);
2759  return ret;
2760  }
2761 
2762  public ModelCache Cache() {
2763  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_Cache(swigCPtr);
2764  ModelCache ret = (cPtr == global::System.IntPtr.Zero) ? null : new ModelCache(cPtr, false);
2765  return ret;
2766  }
2767 
2768  public bool InstrumentsDemons() {
2770  return ret;
2771  }
2772 
2773  public bool IsProfilingEnabled() {
2775  return ret;
2776  }
2777 
2780  return ret;
2781  }
2782 
2783  public bool InstrumentsVariables() {
2785  return ret;
2786  }
2787 
2788  public bool NameAllVariables() {
2790  return ret;
2791  }
2792 
2793  public string ModelName() {
2795  return ret;
2796  }
2797 
2799  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_GetPropagationMonitor(swigCPtr);
2800  PropagationMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new PropagationMonitor(cPtr, false);
2801  return ret;
2802  }
2803 
2806  }
2807 
2809  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_GetLocalSearchMonitor(swigCPtr);
2810  LocalSearchMonitor ret = (cPtr == global::System.IntPtr.Zero) ? null : new LocalSearchMonitor(cPtr, false);
2811  return ret;
2812  }
2813 
2816  }
2817 
2820  Assignment ret = (cPtr == global::System.IntPtr.Zero) ? null : new Assignment(cPtr, false);
2821  return ret;
2822  }
2823 
2824  public void ClearLocalSearchState() {
2826  }
2827 
2829  global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.Solver_CastExpression(swigCPtr, IntVar.getCPtr(var));
2830  IntExpr ret = (cPtr == global::System.IntPtr.Zero) ? null : new IntExpr(cPtr, false);
2831  return ret;
2832  }
2833 
2834  public void FinishCurrentSearch() {
2836  }
2837 
2838  public void RestartCurrentSearch() {
2840  }
2841 
2842  public void ShouldFail() {
2844  }
2845 
2846  public void CheckFail() {
2848  }
2849 
2851  // IntVarStrategy
2866 
2867  // IntValueStrategy
2876 
2877  // EvaluatorStrategy
2880 
2881  // SequenceStrategy
2886 
2887  // IntervalStrategy
2892 
2893  // LocalSearchOperators
2910 
2911  // EvaluatorLocalSearchOperators
2915 
2916  // LocalSearchFilterBound
2920 
2921  // DemonPriority
2925 
2926  // BinaryIntervalRelation
2936 
2937  // UnaryIntervalRelation
2946 
2947  // DecisionModification
2953 
2954  // MarkerType
2959 
2960  // SolverState
2967 
2968  // OptimizationDirection
2972 
2973 }
2974 
2975 }
bool SolveAndCommit(DecisionBuilder db, SearchMonitor m1)
static global::System.IntPtr Solver_MakeGreaterOrEqual__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_Try__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_MakeElement__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, LongLongToLong jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static bool Solver_CheckAssignment(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeWeightedMaximize__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4)
Constraint MakeIsGreaterOrEqualCt(IntExpr left, IntExpr right, IntVar b)
static readonly int CHOOSE_PATH
static bool Solver_CheckConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeLess(IntExpr expr, long value)
static readonly int SIMPLE_MARKER
Demon RegisterDemon(Demon demon)
static global::System.IntPtr Solver_MakeOperator__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int jarg4)
DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongLongToBoolean var_val1_val2_comparator)
DecisionBuilder MakePhase(SequenceVarVector sequences, int str)
Constraint MakeNullIntersectExcept(IntVarVector first_vars, IntVarVector second_vars, long escape_value)
static global::System.IntPtr Solver_MakePathCumul__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, LongLongToLong jarg6)
static global::System.IntPtr Solver_MakeBranchesLimit(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder)
Decision MakeVariableGreaterOrEqualValue(IntVar var, long value)
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitorVector monitors)
bool SolveAndCommit(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2)
Constraint MakeNonOverlappingNonStrictBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, IntVarVector x_size, IntVarVector y_size)
Constraint MakeNoCycle(IntVarVector nexts, IntVarVector active, LongToBoolean sink_handler)
static global::System.IntPtr Solver_MakeDifference__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
LocalSearchMonitor GetLocalSearchMonitor()
static string Solver_LocalSearchProfile(global::System.Runtime.InteropServices.HandleRef jarg1)
Decision MakeAssignVariableValueOrFail(IntVar var, long value)
static global::System.IntPtr Solver_MakeFixedDurationEndSyncedOnStartIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
Constraint MakeIsLessCt(IntExpr left, IntExpr right, IntVar b)
Definition: IntVar.cs:18
SolutionPool MakeDefaultSolutionPool()
static readonly int STARTS_AT_START
Constraint MakeCount(IntVarVector vars, long value, long max_count)
static global::System.IntPtr Solver_MakeTabuSearch(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, long jarg6, long jarg7, double jarg8)
Demon MakeConstraintInitialPropagateCallback(Constraint ct)
static global::System.IntPtr Solver_MakeEquality__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static int Solver_KILL_BOTH_get()
static int Solver_OUTSIDE_SEARCH_get()
LocalSearchOperator ConcatenateOperators(LocalSearchOperatorVector ops, IntIntToLong evaluator)
long Solutions()
static global::System.IntPtr Solver_MakeNonOverlappingBoxesConstraint__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
Constraint MakeDistribute(IntVarVector vars, IntVarVector cards)
static global::System.IntPtr Solver_MakeScalProdEquality__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeEquality__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeIsGreaterCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static int Solver_NORMAL_PRIORITY_get()
static void Solver_MakeIntervalVarArray(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, long jarg3, long jarg4, long jarg5, long jarg6, long jarg7, long jarg8, bool jarg9, string jarg10, global::System.Runtime.InteropServices.HandleRef jarg11)
static global::System.IntPtr Solver_MakeLocalSearchPhase__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static bool Solver_IsProfilingEnabled(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeSumLessOrEqual(IntVarVector vars, long cst)
static global::System.IntPtr Solver_MakeIsLessOrEqualCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Decision MakeAssignVariableValueOrDoNothing(IntVar var, long value)
static global::System.IntPtr Solver_MakeMax__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
void ExportProfilingOverview(string filename)
Constraint MakeEquality(IntExpr expr, long value)
DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, LongLongToLong value_evaluator)
static global::System.IntPtr Solver_MakeMinEquality(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_ConcatenateOperators__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, IntIntToLong jarg3)
static global::System.IntPtr Solver_MakeSquare(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeGuidedLocalSearch__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongLongToLong jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, double jarg7)
delegate long LongToLong(long t)
static int Solver_ASSIGN_MAX_VALUE_get()
Decision MakeVariableLessOrEqualValue(IntVar var, long value)
Constraint MakeFalseConstraint()
static global::System.IntPtr Solver_MakeIsMemberVar__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
static global::System.IntPtr Solver_MakeIsGreaterOrEqualCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static int Solver_EXCHANGE_get()
static void Solver_IntegerCastInfo_maintainer_set(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static void delete_Solver_IntegerCastInfo(global::System.Runtime.InteropServices.HandleRef jarg1)
int SearchLeftDepth()
IntExpr MakeModulo(IntExpr x, long mod)
static global::System.IntPtr Solver_MakeConvexPiecewiseExpr(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4, long jarg5, long jarg6)
IntExpr MakeSemiContinuousExpr(IntExpr expr, long fixed_charge, long step)
IntervalVar MakeFixedInterval(long start, long duration, string name)
static readonly int SWITCH_BRANCHES
IntVar MakeIsLessOrEqualCstVar(IntExpr var, long value)
IntExpr MakeDiv(IntExpr numerator, IntExpr denominator)
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
ModelVisitor MakeStatisticsModelVisitor()
RegularLimit MakeLimit(long time, long branches, long failures, long solutions)
void AddLocalSearchMonitor(LocalSearchMonitor monitor)
static global::System.IntPtr Solver_MakeOperator__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeNoCycle__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongToBoolean jarg4, bool jarg5)
void RestartCurrentSearch()
DecisionBuilder MakeSolveOnce(DecisionBuilder db, SearchMonitor monitor1)
static global::System.IntPtr Solver_MakeAllDifferent__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
void ShouldFail()
static global::System.IntPtr Solver_MakeDistribute__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, int length4, long[] jarg4)
static global::System.IntPtr Solver_MakeNullIntersect(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
LocalSearchOperator MakeMoveTowardTargetOperator(Assignment target)
static readonly int OUTSIDE_SEARCH
static global::System.IntPtr Solver_MakeDecisionBuilderFromAssignment(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, long[] jarg4, int length5, long[] jarg5)
DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongToLong value_evaluator, LongToLong tie_breaker)
Assignment MakeAssignment(Assignment a)
static long MemoryUsage()
static long Solver_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1)
int SolveDepth()
static global::System.IntPtr Solver_MakeNoCycle__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongToBoolean jarg4)
static global::System.IntPtr Solver_MakeIntConst__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
static int Solver_UNACTIVELNS_get()
Definition: Pack.cs:18
static global::System.IntPtr Solver_MakeIntVar__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, long[] jarg2, string jarg3)
static global::System.IntPtr Solver_MakeFixedDurationIntervalVar__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, string jarg5)
static global::System.IntPtr Solver_MakeNotMemberCt__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, int length4, long[] jarg4)
static global::System.IntPtr Solver_MakeMaximize(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeScalProdLessOrEqual__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4)
static global::System.IntPtr Solver_MakeAllDifferent__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, bool jarg3)
Constraint MakeTransitionConstraint(IntVarVector vars, IntTupleSet transition_table, long initial_state, long[] final_states)
Constraint MakeIsEqualCstCt(IntExpr var, long value, IntVar boolvar)
Definition: IntExpr.cs:18
SearchMonitor MakeSearchLog(int branch_period)
static global::System.IntPtr Solver_MakeAbsEquality(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeAssignVariableValueOrDoNothing(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeTemporalDisjunction(IntervalVar t1, IntervalVar t2)
static global::System.IntPtr Solver_MakePhase__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, LongLongLongToBoolean jarg4)
static bool Solver_Solve__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakePathConnected(IntVarVector nexts, long[] sources, long[] sinks, IntVarVector status)
long Branches()
delegate string VoidToString()
static global::System.IntPtr Solver_MakePathCumul__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
bool SolveAndCommit(DecisionBuilder db)
IntVar MakeIsBetweenVar(IntExpr v, long l, long u)
static global::System.IntPtr Solver_MakeLimit__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakeLocalSearchPhase(IntVarVector vars, DecisionBuilder first_solution, DecisionBuilder first_solution_sub_decision_builder, LocalSearchPhaseParameters parameters)
void AddPropagationMonitor(PropagationMonitor monitor)
static global::System.IntPtr Solver_Compose__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
virtual void Dispose(bool disposing)
static readonly int SIMPLELNS
static global::System.IntPtr Solver_GetPropagationMonitor(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int MAKEINACTIVE
static global::System.IntPtr Solver_MakeOperator__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongLongLongToLong jarg4, int jarg5)
static int Solver_CHOICE_POINT_get()
bool UseFastLocalSearch()
IntervalVar MakeFixedDurationStartSyncedOnEndIntervalVar(IntervalVar interval_var, long duration, long offset)
static int Solver_kNumPriorities_get()
IntExpr MakeSum(IntVarVector vars)
IntVar MakeIntVar(long[] values)
static global::System.IntPtr Solver_MakeLessOrEqual__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
void Add(Constraint c)
static int Solver_LK_get()
IntExpr MakeScalProd(IntVarVector vars, int[] coefs)
static readonly int SENTINEL
static global::System.IntPtr Solver_MakeSum__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
IntExpr? expression
static void Solver_PopState(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int ASSIGN_CENTER_VALUE
static global::System.IntPtr Solver_MakeCumulative__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, string jarg5)
static int Solver_MAKEACTIVE_get()
static readonly int MINIMIZATION
static readonly int ASSIGN_RANDOM_VALUE
Constraint MakeIsGreaterOrEqualCstCt(IntExpr var, long value, IntVar boolvar)
PropagationMonitor GetPropagationMonitor()
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, SolutionPool pool, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder)
static readonly int UNACTIVELNS
static readonly int STARTS_AFTER_START
static void Solver_ClearLocalSearchState(global::System.Runtime.InteropServices.HandleRef jarg1)
static int Solver_INTERVAL_DEFAULT_get()
static int Solver_CHOOSE_LOWEST_MIN_get()
DecisionBuilder MakePhase(IntervalVarVector intervals, int str)
IntVar MakeIsMemberVar(IntExpr expr, long[] values)
bool Solve(DecisionBuilder db)
Decision MakeScheduleOrPostpone(IntervalVar var, long est, ref int marker)
Definition: Demon.cs:18
static int Solver_NOT_SET_get()
LocalSearchOperator MakeOperator(IntVarVector vars, IntVarVector secondary_vars, LongLongLongToLong evaluator, int op)
Decision MakeSplitVariableDomain(IntVar var, long val, bool start_with_lower_half)
RegularLimit MakeSolutionsLimit(long solutions)
DecisionBuilder MakePhase(IntVar v0, int var_str, int val_str)
static ulong Solver_Stamp(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeIntervalVarRelationWithDelay(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, long jarg5)
IntervalVar MakeFixedDurationIntervalVar(long start_min, long start_max, long duration, bool optional, string name)
bool IsProfilingEnabled()
bool NameAllVariables()
DecisionBuilder MakeSolveOnce(DecisionBuilder db)
static global::System.IntPtr Solver_MakeTransitionConstraint__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, int length5, long[] jarg5)
Constraint MakeDelayedPathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, IntVarVector transits)
static global::System.IntPtr Solver_MakeLessOrEqual__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static string Solver_ModelName(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeIsEqualVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeFailDecision(global::System.Runtime.InteropServices.HandleRef jarg1)
IntervalVar RegisterIntervalVar(IntervalVar var)
SolutionCollector MakeLastSolutionCollector()
void CheckFail()
static global::System.IntPtr Solver_MakeLexicalLess(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeNotMemberCt__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, int length4, int[] jarg4)
static global::System.IntPtr Solver_MakeIfThenElseCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static readonly int KEEP_RIGHT
bool swigCMemOwn
Definition: ModelCache.cs:18
static int Solver_TWOOPT_get()
int Constraints()
Constraint MakeIsDifferentCstCt(IntExpr var, long value, IntVar boolvar)
Constraint MakeScalProdEquality(IntVarVector vars, long[] coefficients, long cst)
static global::System.IntPtr Solver_MakeTemporalDisjunction__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
delegate void VoidToVoid()
virtual void Dispose(bool disposing)
static int Solver_MAXIMIZATION_get()
static int Solver_ENDS_AT_END_get()
IntExpr MakeProd(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeTrueConstraint(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeSearchTrace(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
DecisionBuilder Compose(DecisionBuilder db1, DecisionBuilder db2, DecisionBuilder db3, DecisionBuilder db4)
static readonly int INT_VAR_DEFAULT
static global::System.IntPtr Solver_MakeOperator__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongLongLongToLong jarg3, int jarg4)
static int Solver_STAYS_IN_SYNC_get()
static readonly int ASSIGN_MAX_VALUE
Constraint MakeTrueConstraint()
static long Solver_Neighbors(global::System.Runtime.InteropServices.HandleRef jarg1)
IntegerCastInfo()
static global::System.IntPtr Solver_MakeLocalSearchPhase__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeSum__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
void NewSearchAux(DecisionBuilder db, SearchMonitor m1)
Solver parameters.
static void delete_Solver(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeCumulative(IntervalVarVector intervals, int[] demands, long capacity, string name)
static global::System.IntPtr Solver_MakeIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, long jarg4, long jarg5, long jarg6, long jarg7, bool jarg8, string jarg9)
bool Solve(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2, SearchMonitor m3)
static global::System.IntPtr Solver_MakeIsDifferentVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
long FilteredNeighbors()
static global::System.IntPtr Solver_MakeIntVar__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, int[] jarg2, string jarg3)
static global::System.IntPtr Solver_MakeRejectFilter(global::System.Runtime.InteropServices.HandleRef jarg1)
static bool Solver_Solve__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakePhase(IntVarVector vars, int var_str, LongLongToLong value_evaluator)
static readonly int AVOID_DATE
static global::System.IntPtr Solver_MakeIsLessCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
long UncheckedSolutions()
static global::System.IntPtr Solver_MakeAssignVariableValue(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeDistribute__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
bool Solve(DecisionBuilder db, SearchMonitor m1)
static global::System.IntPtr Solver_MakeIsBetweenVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
static int Solver_FULLPATHLNS_get()
static global::System.IntPtr Solver_MakePhase__SWIG_13(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeElementEquality__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, int[] jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static void Solver_Fail(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr MakeMax(IntExpr expr, int value)
Constraint MakeCumulative(IntervalVarVector intervals, IntVarVector demands, IntVar capacity, string name)
static readonly int PATHLNS
Constraint MakeGreater(IntExpr expr, long value)
static bool Pending
IntExpr MakeMonotonicElement(LongToLong values, bool increasing, IntVar index)
Demon MakeDelayedConstraintInitialPropagateCallback(Constraint ct)
static global::System.IntPtr Solver_MakeIsGreaterCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
IntExpr MakeElement(LongToLong values, IntVar index)
Constraint MakeMemberCt(IntExpr expr, int[] values)
Decision MakeRankFirstInterval(SequenceVar sequence, int index)
static global::System.IntPtr Solver_MakeIntVar__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, long[] jarg2)
static global::System.IntPtr Solver_MakeFirstSolutionCollector__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int ASSIGN_MIN_VALUE
bool HasName(PropagationBaseObject object_)
static global::System.IntPtr Solver_MakeTemporalDisjunction__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
IntExpr MakeAbs(IntExpr expr)
static global::System.IntPtr Solver_MakeBestValueSolutionCollector__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, bool jarg3)
IntegerCastInfo(IntVar v, IntExpr e, Constraint c)
static global::System.IntPtr Solver_MakeLastSolutionCollector__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr CastExpression(IntVar var)
static void Solver_Accept(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeLessOrEqual(IntExpr expr, long value)
static readonly int VAR_PRIORITY
SearchMonitor MakeSimulatedAnnealing(bool maximize, IntVar v, long step, long initial_temperature)
static global::System.IntPtr Solver_MakeNonEquality__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
SearchMonitor MakeConstantRestart(int frequency)
SolutionCollector MakeBestValueSolutionCollector(bool maximize)
static readonly int CHOOSE_MAX_REGRET_ON_MIN
static global::System.IntPtr Solver_MakeFalseConstraint__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, SolutionPool pool, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder, RegularLimit limit, LocalSearchFilterVector filters)
static global::System.IntPtr Solver_MakeScalProdLessOrEqual__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4)
static global::System.IntPtr Solver_MakeWeightedMinimize__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4)
static void Solver_IntegerCastInfo_expression_set(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3, SearchMonitor monitor4)
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
void NewSearchAux(DecisionBuilder db)
Constraint MakeCumulative(IntervalVarVector intervals, IntVarVector demands, long capacity, string name)
Constraint MakeNonOverlappingBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, long[] x_size, long[] y_size)
static global::System.IntPtr Solver_MakeElement__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, LongToLong jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint? maintainer
void TopPeriodicCheck()
static global::System.IntPtr Solver_MakeSearchLog__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
IntExpr MakeMin(IntExpr expr, int value)
static int Solver_OROPT_get()
static global::System.IntPtr Solver_MakePhase__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, int jarg4)
static byte[] ProtoToByteArray(IMessage message)
Definition: ProtoHelper.cs:21
static global::System.IntPtr Solver_MakeIntConst__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, string jarg3)
static global::System.IntPtr Solver_MakeMirrorInterval(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2)
static global::System.IntPtr Solver_MakeAllDifferentExcept(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakePhase__SWIG_7(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, int jarg4)
static readonly int REVERSIBLE_ACTION
SearchMonitor MakeSymmetryManager(SymmetryBreakerVector visitors)
static global::System.IntPtr Solver_MakePhase__SWIG_14(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeLimit__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, long jarg4, long jarg5, bool jarg6, bool jarg7)
Constraint MakeNoCycle(IntVarVector nexts, IntVarVector active)
delegate void SolverToVoid(Solver s)
static global::System.IntPtr Solver_Try__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static int Solver_PROBLEM_INFEASIBLE_get()
static global::System.IntPtr Solver_MakeDeviation(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static readonly int IN_SEARCH
static global::System.IntPtr Solver_MakeIsEqualCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Pack MakePack(IntVarVector vars, int number_of_bins)
Definition: Assignment.cs:11
static global::System.IntPtr Solver_MakeMin__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeBetweenCt(IntExpr expr, long l, long u)
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3)
static int Solver_TSPOPT_get()
static global::System.IntPtr Solver_MakeMemberCt__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
delegate bool LongToBoolean(long t)
Definition: SearchLimit.cs:18
bool InstrumentsVariables()
Constraint MakeNonOverlappingNonStrictBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, long[] x_size, long[] y_size)
Definition: IntVarVector.cs:19
static global::System.IntPtr Solver_Try__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_ConcatenateOperators__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, bool jarg3)
LocalSearchOperator RandomConcatenateOperators(LocalSearchOperatorVector ops, int seed)
Constraint MakeScalProdLessOrEqual(IntVarVector vars, long[] coefficients, long cst)
static readonly int CHOOSE_DYNAMIC_GLOBAL_BEST
static global::System.IntPtr Solver_MakeElementEquality__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static int Solver_ENDS_AFTER_get()
static global::System.IntPtr Solver_MakeLubyRestart(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static global::System.IntPtr Solver_MakeSumEquality__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
string ToString()
static int Solver_ENDS_BEFORE_get()
static int Solver_LE_get()
static int Solver_CHOOSE_HIGHEST_MAX_get()
Constraint MakeGreaterOrEqual(IntExpr expr, long value)
IntVar MakeIsEqualCstVar(IntExpr var, long value)
int Rand32(int size)
Decision MakeRankLastInterval(SequenceVar sequence, int index)
static int Solver_INTERVAL_SET_TIMES_FORWARD_get()
static global::System.IntPtr Solver_IntegerCastInfo_expression_get(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeIfThenElseCt(IntVar condition, IntExpr then_expr, IntExpr else_expr, IntVar target_var)
static int Solver_AT_SOLUTION_get()
static long Solver_Solutions(global::System.Runtime.InteropServices.HandleRef jarg1)
IntVar MakeIntVar(int[] values)
static global::System.IntPtr Solver_MakeBestValueSolutionCollector__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2)
bool Solve(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2)
static long Solver_DemonRuns(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static global::System.IntPtr Solver_MakeFalseConstraint__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1)
SearchMonitor MakeSymmetryManager(SymmetryBreaker v1, SymmetryBreaker v2, SymmetryBreaker v3, SymmetryBreaker v4)
DecisionBuilder MakeSolveOnce(DecisionBuilder db, SearchMonitorVector monitors)
static global::System.IntPtr Solver_MakeIndexOfConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static global::System.IntPtr Solver_MakeClosureDemon(global::System.Runtime.InteropServices.HandleRef jarg1, VoidToVoid jarg2)
Constraint MakePathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, LongLongToLong transit_evaluator)
static global::System.IntPtr Solver_MakeIntVar__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3)
static readonly int IN_ROOT_NODE
static readonly int RELOCATE
IntVar MakeIsLessVar(IntExpr left, IntExpr right)
Constraint MakeIsMemberCt(IntExpr expr, int[] values, IntVar boolvar)
static void Solver_NewSearchAux__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
RegularLimit MakeLimit(Google.OrTools.ConstraintSolver.RegularLimitParameters proto)
static bool Solver_Solve__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static readonly int INTERVAL_SIMPLE
static void Solver_RestartCurrentSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeLess(IntExpr left, IntExpr right)
Constraint MakeDistribute(IntVarVector vars, int[] values, int[] card_min, int[] card_max)
Constraint MakeGreaterOrEqual(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeIsLessOrEqualCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeStrictDisjunctiveConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, string jarg3)
static readonly int MAKECHAININACTIVE
static global::System.IntPtr Solver_MakeIsDifferentCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
bool Solve(DecisionBuilder db, SearchMonitorVector monitors)
static bool Solver_SolveAndCommit__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint MakeEquality(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeLimit__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, long jarg4, long jarg5)
SolutionCollector MakeAllSolutionCollector()
Definition: SequenceVar.cs:18
static global::System.IntPtr Solver_MakeIndexExpression(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeFalseConstraint(string explanation)
static global::System.IntPtr Solver_MakeIntVar__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, int[] jarg2)
static global::System.IntPtr Solver_MakePower(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakePathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, IntVarVector slacks, LongLongToLong transit_evaluator)
Constraint MakeIsEqualCt(IntExpr v1, IntExpr v2, IntVar b)
Constraint MakeDistribute(IntVarVector vars, long[] values, long[] card_min, long[] card_max)
IntVar MakeIntVar(long min, long max)
DecisionBuilder MakeSolveOnce(DecisionBuilder db, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3)
static global::System.IntPtr Solver_MakeCumulative__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, string jarg5)
static int Solver_CHOOSE_FIRST_UNBOUND_get()
static readonly int INTERVAL_DEFAULT
static int Solver_STARTS_AT_END_get()
DecisionBuilder MakePhase(IntVarVector vars, LongLongToLong eval, int str)
static int Solver_SWITCH_BRANCHES_get()
static global::System.IntPtr Solver_MakePhase__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongToLong jarg3, LongLongToLong jarg4)
OptimizeVar MakeWeightedOptimize(bool maximize, IntVarVector sub_objectives, int[] weights, long step)
DecisionBuilder Compose(DecisionBuilder db1, DecisionBuilder db2)
static global::System.IntPtr Solver_MakeEquality__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static readonly int INT_VALUE_SIMPLE
static readonly int CHOOSE_MIN_SIZE_HIGHEST_MIN
Definition: ModelVisitor.cs:18
Constraint MakeInversePermutationConstraint(IntVarVector left, IntVarVector right)
static int Solver_MINIMIZATION_get()
static int Solver_IN_ROOT_NODE_get()
static void Solver_PushState(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeProd__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static void Solver_NewSearchAux__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeSplitVariableDomain(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, bool jarg4)
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
Constraint MakeNotBetweenCt(IntExpr expr, long l, long u)
static long Solver_Failures(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int NOT_SET
Constraint MakeLess(IntExpr expr, int value)
static bool Solver_HasName(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Decision MakeAssignVariableValue(IntVar var, long val)
IntVar MakeIntConst(long val, string name)
static global::System.IntPtr Solver_MakeCustomLimit(global::System.Runtime.InteropServices.HandleRef jarg1, VoidToBoolean jarg2)
static global::System.IntPtr Solver_MakeLimit__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, int proto_size, byte[] jarg2)
DecisionBuilder MakePhase(IntVar v0, IntVar v1, IntVar v2, int var_str, int val_str)
DecisionBuilder MakeLocalSearchPhase(IntVarVector vars, DecisionBuilder first_solution, LocalSearchPhaseParameters parameters)
static global::System.IntPtr Solver_MakeNonEquality__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static readonly int KEEP_LEFT
static int Solver_ENDS_AT_START_get()
void NewSearchAux(DecisionBuilder db, SearchMonitorVector monitors)
static void Solver_CheckFail(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr MakeModulo(IntExpr x, IntExpr mod)
Constraint MakeGreater(IntExpr left, IntExpr right)
SolutionCollector MakeNBestValueSolutionCollector(int solution_count, bool maximize)
Constraint MakeNoCycle(IntVarVector nexts, IntVarVector active, LongToBoolean sink_handler, bool assume_paths)
static global::System.IntPtr Solver_MakeDistribute__SWIG_6(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, int length4, long[] jarg4, int length5, long[] jarg5)
IntExpr MakePower(IntExpr expr, long n)
static global::System.IntPtr Solver_MakeAssignVariableValueOrFail(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeDecision(global::System.Runtime.InteropServices.HandleRef jarg1, SolverToVoid jarg2, SolverToVoid jarg3)
LocalSearchOperator RandomConcatenateOperators(LocalSearchOperatorVector ops)
Constraint MakeAllowedAssignments(IntVarVector vars, IntTupleSet tuples)
static void Solver_AddPropagationMonitor(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeNBestValueSolutionCollector__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, bool jarg3)
static int Solver_ASSIGN_CENTER_VALUE_get()
IntervalVar MakeFixedDurationStartSyncedOnStartIntervalVar(IntervalVar interval_var, long duration, long offset)
DecisionBuilder Compose(DecisionBuilder db1, DecisionBuilder db2, DecisionBuilder db3)
static global::System.IntPtr Solver_MakeAssignment__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr MakeSquare(IntExpr expr)
bool SolveAndCommit(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2, SearchMonitor m3)
SearchMonitor MakeTabuSearch(bool maximize, IntVar v, long step, IntVarVector vars, long keep_tenure, long forbid_tenure, double tabu_factor)
static global::System.IntPtr Solver_MakeAssignVariablesValues(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
static System.IntPtr Solver_DefaultSolverParameters()
Constraint MakeLessOrEqual(IntExpr expr, int value)
static global::System.IntPtr Solver_MakeInversePermutationConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeWeightedMaximize__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4)
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, global::System.Runtime.InteropServices.HandleRef jarg7)
static global::System.IntPtr Solver_MakeMonotonicElement(global::System.Runtime.InteropServices.HandleRef jarg1, LongToLong jarg2, bool jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeIndexOfFirstMinValueConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Definition: RegularLimit.cs:18
delegate long LongLongLongToLong(long t, long u, long v)
Constraint MakeAllDifferentExcept(IntVarVector vars, long escape_value)
static int Solver_CHOOSE_MIN_SIZE_get()
static readonly int ENDS_AFTER_END
static bool Solver_NameAllVariables(global::System.Runtime.InteropServices.HandleRef jarg1)
DecisionBuilder MakeRestoreAssignment(Assignment assignment)
static readonly int NO_MORE_SOLUTIONS
static global::System.IntPtr Solver_MakePhase__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, LongLongToLong jarg4)
static void Solver_EndSearchAux(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr MakeConvexPiecewiseExpr(IntExpr expr, long early_cost, long early_date, long late_date, long late_cost)
Constraint MakeNonEquality(IntExpr expr, long value)
static int Solver_RELOCATE_get()
static void Solver_NewSearchAux__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
bool InstrumentsDemons()
static global::System.IntPtr Solver_MakeIsGreaterOrEqualVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static System.IntPtr Solver_MakeDefaultRegularLimitParameters(global::System.Runtime.InteropServices.HandleRef jarg1)
static int Solver_State(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_Compose__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeSymmetryManager__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeEquality(IntExpr expr, int value)
static int Solver_DECREMENT_get()
static int Solver_CHOOSE_DYNAMIC_GLOBAL_BEST_get()
static readonly int CHOOSE_MAX_SIZE
Demon MakeClosureDemon(VoidToVoid closure)
static long Solver_Rand64(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
static int Solver_SIMPLE_MARKER_get()
static global::System.IntPtr Solver_MakeFixedInterval(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, string jarg4)
static readonly int CHOOSE_LOWEST_MIN
static global::System.IntPtr Solver_MakeOpposite(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
LocalSearchOperator MakeRandomLnsOperator(IntVarVector vars, int number_of_variables, int seed)
static global::System.IntPtr Solver_MakeCount__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static int Solver_SearchDepth(global::System.Runtime.InteropServices.HandleRef jarg1)
DecisionBuilder MakeDefaultPhase(IntVarVector vars, DefaultPhaseParameters parameters)
static int Solver_MAKEINACTIVE_get()
static global::System.IntPtr Solver_MakeLastSolutionCollector__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeNoCycle__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint MakeIndexOfFirstMaxValueConstraint(IntVar index, IntVarVector vars)
long Failures()
static void Solver_ReSeed(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static global::System.IntPtr Solver_MakeScalProdGreaterOrEqual__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4)
static int Solver_ASSIGN_MIN_VALUE_get()
static global::System.IntPtr Solver_MakeNullIntersectExcept(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static readonly int TSPOPT
static bool Solver_Solve__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeFirstSolutionCollector__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_Try__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Constraint MakeIsDifferentCt(IntExpr v1, IntExpr v2, IntVar b)
static readonly int TSPLNS
static readonly int MAXIMIZATION
static global::System.IntPtr Solver_MakeElementEquality__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, long[] jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Decision BalancingDecision()
static global::System.IntPtr Solver_MakeIsMemberCt__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Constraint MakeMinEquality(IntVarVector vars, IntVar min_var)
IntVar MakeIntConst(long val)
OptimizeVar MakeMaximize(IntVar v, long step)
static void Solver_NewSearchAux__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeGreaterOrEqual__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
IntVar MakeIntVar(long[] values, string name)
static global::System.IntPtr Solver_MakeEnterSearchCallback(global::System.Runtime.InteropServices.HandleRef jarg1, VoidToVoid jarg2)
IntExpr MakeMin(IntVarVector vars)
void NewSearchAux(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2)
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeRandomLnsOperator__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_GetOrCreateLocalSearchState(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int ENDS_AT_END
int SearchDepth()
static global::System.IntPtr Solver_MakeAssignment__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeDelayedConstraintInitialPropagateCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeScalProdGreaterOrEqual(IntVarVector vars, int[] coeffs, long cst)
SolutionCollector MakeLastSolutionCollector(Assignment assignment)
static int Solver_STARTS_AFTER_START_get()
int TopProgressPercent()
DecisionBuilder MakeDecisionBuilderFromAssignment(Assignment assignment, DecisionBuilder db, IntVarVector vars)
static global::System.IntPtr Solver_MakePack(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeIntVar__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, string jarg4)
static int Solver_KEEP_LEFT_get()
static global::System.IntPtr Solver_MakeWeightedOptimize__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, long[] jarg4, long jarg5)
static global::System.IntPtr Solver_MakePathCumul__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, LongLongToLong jarg5)
static void Solver_IntegerCastInfo_variable_set(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int EQ
RegularLimit MakeFailuresLimit(long failures)
Constraint MakeScalProdLessOrEqual(IntVarVector vars, int[] coefficients, long cst)
Constraint MakeAllDifferent(IntVarVector vars, bool stronger_propagation)
DisjunctiveConstraint MakeDisjunctiveConstraint(IntervalVarVector intervals, string name)
static long Solver_AcceptedNeighbors(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int STARTS_BEFORE
static global::System.IntPtr Solver_MakeRankLastInterval(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeAllSolutionCollector__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1)
bool CheckConstraint(Constraint ct)
static global::System.IntPtr Solver_RegisterDemon(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int KILL_BOTH
static global::System.IntPtr Solver_MakeElementEquality__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeIsMemberCt__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeDefaultPhase__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
SearchMonitor MakeLubyRestart(int scale_factor)
void Dispose()
IntervalVar MakeFixedDurationIntervalVar(IntVar start_variable, long duration, string name)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Constraint MakeElementEquality(IntVarVector vars, IntVar index, long target)
SearchMonitor MakeEnterSearchCallback(VoidToVoid callback)
static global::System.IntPtr Solver_RegisterIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
void RestartSearch()
void Fail()
Decision MakeAssignVariablesValues(IntVarVector vars, long[] values)
static readonly int CHOOSE_RANDOM
Constraint MakeGreaterOrEqual(IntExpr expr, int value)
SearchMonitor MakeSymmetryManager(SymmetryBreaker v1, SymmetryBreaker v2, SymmetryBreaker v3)
SolutionCollector MakeFirstSolutionCollector()
static global::System.IntPtr Solver_MakeScalProd__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3)
SearchMonitor MakeAtSolutionCallback(VoidToVoid callback)
static global::System.IntPtr Solver_MakeIsLessCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
DecisionBuilder Compose(DecisionBuilderVector dbs)
static bool Solver_UseFastLocalSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeNonOverlappingBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, IntVarVector x_size, IntVarVector y_size)
SearchMonitor MakeSearchLog(int branch_period, IntVar var, VoidToString display_callback)
static global::System.IntPtr Solver_MakeSymmetryManager__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
Constraint MakeSumEquality(IntVarVector vars, IntVar var)
static readonly int EXCHANGE
Constraint MakeAllDifferent(IntVarVector vars)
Google.OrTools.ConstraintSolver.ConstraintSolverParameters Parameters()
static global::System.IntPtr Solver_MakeLess__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
IntExpr MakeElement(long[] values, IntVar index)
Constraint MakePathCumul(IntVarVector nexts, IntVarVector active, IntVarVector cumuls, IntVarVector transits)
static global::System.IntPtr Solver_MakePhase__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, LongLongToLong jarg4, LongToLong jarg5)
Constraint MakeIntervalVarRelationWithDelay(IntervalVar t1, int r, IntervalVar t2, long delay)
SearchLimit MakeLimit(SearchLimit limit_1, SearchLimit limit_2)
Constraint MakeScalProdEquality(IntVarVector vars, long[] coefficients, IntVar target)
static int Solver_STARTS_AT_get()
static void Solver_TopPeriodicCheck(global::System.Runtime.InteropServices.HandleRef jarg1)
IntVarLocalSearchFilter MakeSumObjectiveFilter(IntVarVector vars, IntVarVector secondary_vars, LongLongLongToLong values, int filter_enum)
IntVar MakeIsGreaterCstVar(IntExpr var, long value)
static readonly int kNumPriorities
DecisionBuilder MakePhase(IntVar v0, IntVar v1, int var_str, int val_str)
SearchMonitor MakeGenericTabuSearch(bool maximize, IntVar v, long step, IntVarVector tabu_vars, long forbid_tenure)
Constraint MakeMemberCt(IntExpr expr, long[] values)
LocalSearchFilter MakeVariableDomainFilter()
static int Solver_SEQUENCE_SIMPLE_get()
static global::System.IntPtr Solver_MakeGreater__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeCumulative__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, string jarg5)
static global::System.IntPtr Solver_Compose__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_Cache(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeConstraintInitialPropagateCallback(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder, RegularLimit limit)
LocalSearchOperator ConcatenateOperators(LocalSearchOperatorVector ops)
static void Solver_RestartSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeIsLessOrEqualCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeBoolVar__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
static bool Solver_CurrentlyInSolve(global::System.Runtime.InteropServices.HandleRef jarg1)
bool swigCMemOwn
void ClearFailIntercept()
SearchMonitor MakeSearchTrace(string prefix)
static int Solver_AVOID_DATE_get()
Assignment MakeAssignment()
void PopState()
static global::System.IntPtr Solver_MakeOptimize(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static global::System.IntPtr Solver_MakeIntervalRelaxedMin(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeAllowedAssignments(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static readonly int CROSS_DATE
bool CheckAssignment(Assignment solution)
Constraint MakeSumGreaterOrEqual(IntVarVector vars, long cst)
static readonly int SWAPACTIVE
static global::System.IntPtr Solver_BalancingDecision(global::System.Runtime.InteropServices.HandleRef jarg1)
Solver(string name)
static global::System.IntPtr Solver_MakeLess__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
ulong Stamp()
static global::System.IntPtr Solver_MakeNeighborhoodLimit(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeScalProd__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder, RegularLimit limit, LocalSearchFilterVector filters)
static global::System.IntPtr Solver_MakeGreater__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_IntegerCastInfo_variable_get(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeEquality(IntervalVar var1, IntervalVar var2)
static global::System.IntPtr Solver_MakeIsLessVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
bool IsLocalSearchProfilingEnabled()
Definition: SolutionPool.cs:18
static global::System.IntPtr Solver_MakeIsEqualCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
SearchMonitor MakeSymmetryManager(SymmetryBreaker v1)
Definition: IntTupleSet.cs:18
IntExpr MakeProd(IntExpr expr, long value)
static long Solver_FilteredNeighbors(global::System.Runtime.InteropServices.HandleRef jarg1)
static readonly int TWOOPT
DecisionBuilder Try(DecisionBuilder db1, DecisionBuilder db2, DecisionBuilder db3)
void MergeFrom(RegularLimitParameters other)
static int Solver_NO_CHANGE_get()
static readonly int ENDS_BEFORE
static readonly int CHOOSE_RANDOM_RANK_FORWARD
static global::System.IntPtr Solver_MakeIsDifferentCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static int Solver_ENDS_AFTER_START_get()
static global::System.IntPtr Solver_MakeCover(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Google.OrTools.ConstraintSolver.RegularLimitParameters MakeDefaultRegularLimitParameters()
static global::System.IntPtr Solver_MakeSumLessOrEqual(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeFixedDurationStartSyncedOnStartIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
static int Solver_CHOOSE_STATIC_GLOBAL_BEST_get()
static global::System.IntPtr Solver_MakeDisjunctiveConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, string jarg3)
IntVar MakeIsLessOrEqualVar(IntExpr left, IntExpr right)
LocalSearchOperator MakeNeighborhoodLimit(LocalSearchOperator op, long limit)
static global::System.IntPtr Solver_MakeConstantRestart(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
Definition: IntervalVar.cs:18
Constraint MakeDistribute(IntVarVector vars, long card_min, long card_max, long card_size)
RegularLimit MakeLimit(long time, long branches, long failures, long solutions, bool smart_time_check)
bool SolveAndCommit(DecisionBuilder db, SearchMonitorVector monitors)
Constraint MakeCircuit(IntVarVector nexts)
IntExpr MakeMin(IntExpr expr, long value)
IntExpr MakeMax(IntExpr expr, long value)
static global::System.IntPtr Solver_MakePhase__SWIG_10(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, int jarg6, int jarg7)
RegularLimit MakeLimit(long time, long branches, long failures, long solutions, bool smart_time_check, bool cumulative)
static global::System.IntPtr Solver_MakeMemberCt__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3)
static global::System.IntPtr Solver_MakeLessOrEqual__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
ModelCache Cache()
static global::System.IntPtr Solver_MakeConstraintAdder(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeNonOverlappingNonStrictBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, int[] x_size, int[] y_size)
IntVar MakeBoolVar()
void Accept(ModelVisitor visitor)
static global::System.IntPtr Solver_MakeSortingConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeRestoreAssignment(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_CastExpression(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
void ReSeed(int seed)
static global::System.IntPtr Solver_MakeNonOverlappingBoxesConstraint__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, long[] jarg4, int length5, long[] jarg5)
static readonly int SEQUENCE_DEFAULT
IntervalVar MakeFixedDurationEndSyncedOnEndIntervalVar(IntervalVar interval_var, long duration, long offset)
static global::System.IntPtr Solver_MakeGreaterOrEqual__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeElementEquality(IntVarVector vars, IntVar index, IntVar target)
static global::System.IntPtr Solver_MakeMin__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static readonly int CHOOSE_MIN_SIZE
static readonly int LK
SearchMonitor MakeSearchLog(int branch_period, IntVar var)
IntExpr MakeSum(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeWeightedOptimize__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, int[] jarg4, long jarg5)
Constraint MakeCount(IntVarVector vars, long value, IntVar max_count)
IntervalVar MakeFixedDurationEndSyncedOnStartIntervalVar(IntervalVar interval_var, long duration, long offset)
IntVar MakeIsMemberVar(IntExpr expr, int[] values)
void NewSearchAux(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2, SearchMonitor m3)
static global::System.IntPtr Solver_MakeSumObjectiveFilter__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongLongLongToLong jarg4, int jarg5)
static global::System.IntPtr Solver_MakeRankFirstInterval(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static global::System.IntPtr Solver_MakeProd__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
IntExpr MakeScalProd(IntVarVector vars, long[] coefs)
static global::System.IntPtr Solver_MakeLocalSearchPhase__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakeConstraintAdder(Constraint ct)
static global::System.IntPtr Solver_MakePhase__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongToLong jarg3, int jarg4)
DecisionBuilder MakeLocalSearchPhase(Assignment assignment, LocalSearchPhaseParameters parameters)
static global::System.IntPtr Solver_MakeMaxEquality(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint MakeCumulative(IntervalVarVector intervals, int[] demands, IntVar capacity, string name)
void MergeFrom(ConstraintSolverParameters other)
Constraint MakeIsBetweenCt(IntExpr expr, long l, long u, IntVar b)
static readonly int STAYS_IN_SYNC
static void Solver_SetOptimizationDirection(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static global::System.IntPtr Solver_MakeSymmetryManager__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeConditionalExpression(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4)
static readonly int NO_CHANGE
static global::System.IntPtr Solver_MakeIsGreaterVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
bool Solve(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2, SearchMonitor m3, SearchMonitor m4)
IntervalVar MakeMirrorInterval(IntervalVar interval_var)
SearchMonitor MakeExitSearchCallback(VoidToVoid callback)
static global::System.IntPtr Solver_MakeSumObjectiveFilter__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongLongToLong jarg3, int jarg4)
IntVar MakeIsDifferentVar(IntExpr v1, IntExpr v2)
static global::System.IntPtr Solver_MakeBoolVar__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr MakeElement(int[] values, IntVar index)
static readonly int INCREMENT
OptimizeVar MakeWeightedOptimize(bool maximize, IntVarVector sub_objectives, long[] weights, long step)
static bool Solver_NextSolution(global::System.Runtime.InteropServices.HandleRef jarg1)
LocalSearchPhaseParameters MakeLocalSearchPhaseParameters(IntVar objective, SolutionPool pool, LocalSearchOperator ls_operator, DecisionBuilder sub_decision_builder, RegularLimit limit)
static global::System.IntPtr Solver_MakeSymmetryManager__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeIsGreaterCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeNotBetweenCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
static global::System.IntPtr Solver_MakeDelayedPathCumul(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
Constraint MakeSubCircuit(IntVarVector nexts)
static global::System.IntPtr Solver_MakeStatisticsModelVisitor(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, global::System.Runtime.InteropServices.HandleRef jarg7, global::System.Runtime.InteropServices.HandleRef jarg8)
static global::System.IntPtr Solver_RandomConcatenateOperators__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeStoreAssignment(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int AT_SOLUTION
Constraint MakeLexicalLess(IntVarVector left, IntVarVector right)
Solver(string name, Google.OrTools.ConstraintSolver.ConstraintSolverParameters parameters)
Constraint MakeGreater(IntExpr expr, int value)
static readonly int LE
static global::System.IntPtr Solver_MakeCumulative__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, string jarg5)
static int Solver_CHOOSE_MIN_SLACK_RANK_FORWARD_get()
Constraint MakeLessOrEqual(IntExpr left, IntExpr right)
static int Solver_TSPLNS_get()
static global::System.IntPtr Solver_MakeRandomLnsOperator__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, int jarg4)
static int Solver_CHOOSE_RANDOM_get()
static global::System.IntPtr Solver_MakeDistribute__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint MakeIsGreaterCstCt(IntExpr v, long c, IntVar b)
static global::System.IntPtr Solver_MakeElement__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, long[] jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakePhase(IntVarVector vars, LongLongToLong eval, LongToLong tie_breaker, int str)
static global::System.IntPtr Solver_MakeNotMemberCt__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
IntExpr MakeIndexExpression(IntVarVector vars, long value)
static global::System.IntPtr Solver_MakeIndexOfFirstMaxValueConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeSearchLog__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, VoidToString jarg4)
DisjunctiveConstraint MakeStrictDisjunctiveConstraint(IntervalVarVector intervals, string name)
void SetOptimizationDirection(int direction)
static global::System.IntPtr Solver_MakeBetweenCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
string LocalSearchProfile()
OptimizeVar MakeMinimize(IntVar v, long step)
static global::System.IntPtr Solver_MakeElement__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, int length2, int[] jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
long WallTime()
long Neighbors()
static global::System.IntPtr Solver_MakeMoveTowardTargetOperator__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3)
static void Solver_ShouldFail(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeWeightedMinimize__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4)
static int Solver_INTERVAL_SET_TIMES_BACKWARD_get()
static global::System.IntPtr Solver_MakePhase__SWIG_12(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongLongToLong jarg3, LongToLong jarg4, int jarg5)
static int Solver_SENTINEL_get()
string ModelName()
DecisionBuilder MakePhase(IntVarVector vars, int var_str, int val_str)
IntExpr MakeElement(IntVarVector vars, IntVar index)
static int Solver_SWAPACTIVE_get()
SolutionCollector MakeFirstSolutionCollector(Assignment assignment)
static global::System.IntPtr Solver_MakeMapDomain(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
LocalSearchOperator ConcatenateOperators(LocalSearchOperatorVector ops, bool restart)
static readonly int OROPT
void NewSearchAux(DecisionBuilder db, SearchMonitor m1, SearchMonitor m2, SearchMonitor m3, SearchMonitor m4)
static int Solver_STARTS_AFTER_get()
static readonly int MAKEACTIVE
IntVarLocalSearchFilter MakeSumObjectiveFilter(IntVarVector vars, LongLongToLong values, int filter_enum)
SolutionCollector MakeNBestValueSolutionCollector(Assignment assignment, int solution_count, bool maximize)
static int Solver_VAR_PRIORITY_get()
static global::System.IntPtr Solver_MakeModulo__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_IntegerCastInfo_maintainer_get(global::System.Runtime.InteropServices.HandleRef jarg1)
static void Solver_ClearFailIntercept(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeMinimize(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeIntervalVarRelation__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, long jarg4)
DecisionBuilder Try(DecisionBuilder db1, DecisionBuilder db2, DecisionBuilder db3, DecisionBuilder db4)
static global::System.IntPtr Solver_MakeMin__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
SearchLimit MakeCustomLimit(VoidToBoolean limiter)
static global::System.IntPtr Solver_GetLocalSearchMonitor(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeAllSolutionCollector__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
void EndSearchAux()
static global::System.IntPtr Solver_MakeAcceptFilter(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeScheduleOrExpedite(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, ref int jarg4)
static global::System.IntPtr Solver_MakePathConnected(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, int length4, long[] jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_MakeIsMemberVar__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3)
Constraint MakeElementEquality(long[] vals, IntVar index, IntVar target)
static global::System.IntPtr Solver_MakeIntervalRelaxedMax(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static int Solver_CHOOSE_MIN_SIZE_LOWEST_MAX_get()
static global::System.IntPtr Solver_RandomConcatenateOperators__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
static void Solver_NewSearchAux__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
long DemonRuns(int p)
IntVar MakeIsLessCstVar(IntExpr var, long value)
static int Solver_TopProgressPercent(global::System.Runtime.InteropServices.HandleRef jarg1)
bool CurrentlyInSolve()
LocalSearchOperator MakeOperator(IntVarVector vars, int op)
IntVar MakeIsDifferentCstVar(IntExpr var, long value)
IntVar MakeBoolVar(string name)
long Rand64(long size)
static global::System.IntPtr Solver_RegisterIntExpr(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static int Solver_CHOOSE_MAX_SIZE_get()
Constraint MakeIndexOfFirstMinValueConstraint(IntVar index, IntVarVector vars)
IntExpr MakeMax(IntVarVector vars)
static global::System.IntPtr Solver_MakeMax__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeElement__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static int Solver_CHOOSE_MIN_SIZE_HIGHEST_MAX_get()
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step)
static global::System.IntPtr Solver_MakeAtSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1, VoidToVoid jarg2)
Assignment GetOrCreateLocalSearchState()
static readonly int DELAYED_PRIORITY
static global::System.IntPtr Solver_MakeLocalSearchPhase__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static ulong Solver_FailStamp(global::System.Runtime.InteropServices.HandleRef jarg1)
Decision MakeFailDecision()
static global::System.IntPtr Solver_MakeVariableGreaterOrEqualValue(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static void Solver_SetUseFastLocalSearch(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2)
static global::System.IntPtr Solver_MakeDifference__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static readonly int CHOOSE_MIN_SLACK_RANK_FORWARD
static global::System.IntPtr Solver_MakeNotMemberCt__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3)
Constraint MakeIsMemberCt(IntExpr expr, long[] values, IntVar boolvar)
SearchMonitor MakeGuidedLocalSearch(bool maximize, IntVar objective, LongLongLongToLong objective_function, long step, IntVarVector vars, IntVarVector secondary_vars, double penalty_factor)
delegate bool VoidToBoolean()
static global::System.IntPtr Solver_MakeScalProdEquality__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static readonly int GE
static global::System.IntPtr Solver_MakeFixedDurationEndSyncedOnEndIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
IntExpr MakeElement(LongLongToLong values, IntVar index1, IntVar index2)
delegate void LongToVoid(long t)
static int Solver_GE_get()
Constraint MakeAbsEquality(IntVar var, IntVar abs_var)
LocalSearchOperator MakeRandomLnsOperator(IntVarVector vars, int number_of_variables)
static int Solver_CHOOSE_MIN_SIZE_LOWEST_MIN_get()
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static Google.OrTools.ConstraintSolver.ConstraintSolverParameters DefaultSolverParameters()
IntExpr MakeSum(IntExpr expr, long value)
Constraint MakeDistribute(IntVarVector vars, long[] card_min, long[] card_max)
static int Solver_CROSS_DATE_get()
void Dispose()
DecisionBuilder MakeLocalSearchPhase(SequenceVarVector vars, DecisionBuilder first_solution, LocalSearchPhaseParameters parameters)
static global::System.IntPtr Solver_MakeIntervalVarRelation__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakePrintModelVisitor(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeDistribute__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Definition: Assignment.cs:18
static string Solver_ToString(global::System.Runtime.InteropServices.HandleRef jarg1)
void FinishCurrentSearch()
static readonly int ENDS_AFTER_START
Constraint MakeNotMemberCt(IntExpr expr, long[] values)
static global::System.IntPtr Solver_MakeSubCircuit(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int SEQUENCE_SIMPLE
IntExpr MakeOpposite(IntExpr expr)
OptimizeVar MakeWeightedMaximize(IntVarVector sub_objectives, int[] weights, long step)
static global::System.IntPtr Solver_MakeDistribute__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4, long jarg5)
static global::System.IntPtr Solver_MakeIsGreaterOrEqualCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static global::System.IntPtr Solver_MakeMax__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3)
DecisionBuilder MakePhase(IntVar v0, IntVar v1, IntVar v2, IntVar v3, int var_str, int val_str)
Constraint MakeSumEquality(IntVarVector vars, long cst)
static readonly int CHOOSE_MIN_SIZE_LOWEST_MAX
static int Solver_STARTS_BEFORE_get()
IntVar MakeIsGreaterOrEqualVar(IntExpr left, IntExpr right)
IntVar RegisterIntVar(IntVar var)
LocalSearchOperator MakeMoveTowardTargetOperator(IntVarVector variables, long[] target_values)
static global::System.IntPtr Solver_MakePhase__SWIG_9(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, int jarg5, int jarg6)
void MakeIntervalVarArray(int count, long start_min, long start_max, long duration_min, long duration_max, long end_min, long end_max, bool optional, string name, IntervalVarVector array)
static global::System.IntPtr Solver_MakeModulo__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_Compose__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, int val_str)
Constraint MakeCumulative(IntervalVarVector intervals, long[] demands, IntVar capacity, string name)
DecisionBuilder MakeNestedOptimize(DecisionBuilder db, Assignment solution, bool maximize, long step, SearchMonitor monitor1)
OptimizeVar MakeWeightedMaximize(IntVarVector sub_objectives, long[] weights, long step)
static int Solver_CROSS_get()
static int Solver_MAKECHAININACTIVE_get()
static global::System.IntPtr Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_MakeFixedDurationIntervalVar__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, string jarg4)
void PushState()
static global::System.IntPtr Solver_MakeDefaultSolutionPool(global::System.Runtime.InteropServices.HandleRef jarg1)
OptimizeVar MakeWeightedMinimize(IntVarVector sub_objectives, int[] weights, long step)
Constraint MakeDistribute(IntVarVector vars, long[] values, IntVarVector cards)
static global::System.IntPtr Solver_MakeTimeLimit(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
void AddCastConstraint(CastConstraint constraint, IntVar target_var, IntExpr expr)
static int Solver_SPLIT_LOWER_HALF_get()
Constraint MakeDeviation(IntVarVector vars, IntVar deviation_var, long total_sum)
IntExpr MakeDifference(IntExpr left, IntExpr right)
LocalSearchOperator MakeOperator(IntVarVector vars, IntVarVector secondary_vars, int op)
DecisionBuilder MakeSolveOnce(DecisionBuilder db, SearchMonitor monitor1, SearchMonitor monitor2, SearchMonitor monitor3, SearchMonitor monitor4)
SearchMonitor MakeGuidedLocalSearch(bool maximize, IntVar objective, LongLongToLong objective_function, long step, IntVarVector vars, double penalty_factor)
IntVar MakeIsGreaterOrEqualCstVar(IntExpr var, long value)
Constraint MakeIsGreaterCt(IntExpr left, IntExpr right, IntVar b)
static int Solver_SolveDepth(global::System.Runtime.InteropServices.HandleRef jarg1)
static int Solver_STARTS_AFTER_END_get()
static global::System.IntPtr Solver_MakeVariableLessOrEqualValue(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_RegisterIntVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int INTERVAL_SET_TIMES_BACKWARD
Constraint MakeNonEquality(IntExpr expr, int value)
Constraint MakeScalProdEquality(IntVarVector vars, int[] coefficients, IntVar target)
Constraint MakeMapDomain(IntVar var, IntVarVector actives)
static System.IntPtr Solver_Parameters(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeScheduleOrPostpone(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, ref int jarg4)
static bool Solver_Solve__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
Constraint MakeDistribute(IntVarVector vars, int[] card_min, int[] card_max)
RegularLimit MakeBranchesLimit(long branches)
static readonly int SPLIT_LOWER_HALF
static global::System.IntPtr Solver_MakeIsLessCstVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeTemporalDisjunction(IntervalVar t1, IntervalVar t2, IntVar alt)
static bool Solver_InstrumentsDemons(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeDistribute__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, int length4, int[] jarg4)
Constraint MakeNonEquality(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeDistribute__SWIG_7(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, int length4, int[] jarg4, int length5, int[] jarg5)
static int Solver_PATHLNS_get()
static global::System.IntPtr Solver_MakeSymmetryManager__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static int Solver_INT_VAR_DEFAULT_get()
static int Solver_SIMPLELNS_get()
static int Solver_STARTS_AT_START_get()
IntVar MakeIntVar(int[] values, string name)
static int Solver_SEQUENCE_DEFAULT_get()
static global::System.IntPtr Solver_MakeSolutionsLimit(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
static global::System.IntPtr Solver_MakeGreater__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
Constraint MakeIsLessOrEqualCstCt(IntExpr var, long value, IntVar boolvar)
IntervalVar MakeIntervalRelaxedMax(IntervalVar interval_var)
DecisionBuilder MakeSolveOnce(DecisionBuilder db, SearchMonitor monitor1, SearchMonitor monitor2)
static global::System.IntPtr Solver_MakeLexicalLessOrEqual(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
DecisionBuilder MakeDefaultPhase(IntVarVector vars)
static long Solver_Branches(global::System.Runtime.InteropServices.HandleRef jarg1)
static int Solver_EQ_get()
IntervalVar MakeFixedDurationIntervalVar(IntVar start_variable, long duration, IntVar performed_variable, string name)
IntExpr MakeMin(IntExpr left, IntExpr right)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static global::System.IntPtr Solver_MakeMoveTowardTargetOperator__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
void SetUseFastLocalSearch(bool use_fast_local_search)
static global::System.IntPtr Solver_MakeSearchLog__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeSumEquality__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static global::System.IntPtr Solver_MakeIsDifferentCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
void ClearLocalSearchState()
static global::System.IntPtr Solver_MakePhase__SWIG_11(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongLongToLong jarg3, int jarg4)
Constraint MakeNotMemberCt(IntExpr expr, int[] starts, int[] ends)
Constraint MakeNotMemberCt(IntExpr expr, long[] starts, long[] ends)
static int Solver_IN_SEARCH_get()
Constraint MakeNonOverlappingBoxesConstraint(IntVarVector x_vars, IntVarVector y_vars, int[] x_size, int[] y_size)
static global::System.IntPtr Solver_ConcatenateOperators__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static void Solver_FinishCurrentSearch(global::System.Runtime.InteropServices.HandleRef jarg1)
A search limit The default values for int64 fields is the maxima value, i.e., 2^63-1
static int Solver_EXTENDEDSWAPACTIVE_get()
static int Solver_Constraints(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeFixedDurationIntervalVar__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, long jarg4, bool jarg5, string jarg6)
static void Solver_ExportProfilingOverview(global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
SearchMonitor MakeSymmetryManager(SymmetryBreaker v1, SymmetryBreaker v2)
Constraint MakeScalProdEquality(IntVarVector vars, int[] coefficients, long cst)
DecisionBuilder Try(DecisionBuilder db1, DecisionBuilder db2)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, global::System.Runtime.InteropServices.HandleRef jarg7, global::System.Runtime.InteropServices.HandleRef jarg8, global::System.Runtime.InteropServices.HandleRef jarg9)
static global::System.IntPtr Solver_MakeCount__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
Definition: ProtoHelper.cs:20
IntervalVar MakeIntervalRelaxedMin(IntervalVar interval_var)
static readonly int STARTS_AT
static global::System.IntPtr Solver_MakeAbs(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static readonly int INT_VALUE_DEFAULT
RegularLimit MakeTimeLimit(long time_in_ms)
static global::System.IntPtr Solver_MakeGenericTabuSearch(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, long jarg6)
SearchMonitor MakeSearchLog(int branch_period, OptimizeVar opt_var)
static global::System.IntPtr Solver_MakeMax__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static int Solver_INT_VALUE_DEFAULT_get()
static readonly int ENDS_AFTER
static global::System.IntPtr Solver_MakeCircuit(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static void Solver_Add(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
static long Solver_UncheckedSolutions(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeSumGreaterOrEqual(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static readonly int SPLIT_UPPER_HALF
static int Solver_SPLIT_UPPER_HALF_get()
SolutionCollector MakeBestValueSolutionCollector(Assignment assignment, bool maximize)
Constraint MakeScalProdGreaterOrEqual(IntVarVector vars, long[] coeffs, long cst)
Constraint MakeMaxEquality(IntVarVector vars, IntVar max_var)
static global::System.IntPtr Solver_MakeNonOverlappingNonStrictBoxesConstraint__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, int[] jarg4, int length5, int[] jarg5)
static global::System.IntPtr Solver_MakeScalProdEquality__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4)
delegate long IntIntToLong(int t, int u)
static bool Solver_SolveAndCommit__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
IntExpr MakeMax(IntExpr left, IntExpr right)
DecisionBuilder Try(DecisionBuilderVector dbs)
static global::System.IntPtr Solver_MakeSolveOnce__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
static int Solver_SearchLeftDepth(global::System.Runtime.InteropServices.HandleRef jarg1)
IntExpr RegisterIntExpr(IntExpr expr)
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_5(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, global::System.Runtime.InteropServices.HandleRef jarg7)
static global::System.IntPtr Solver_MakeLocalSearchPhaseParameters__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5, global::System.Runtime.InteropServices.HandleRef jarg6)
Constraint MakeLexicalLessOrEqual(IntVarVector left, IntVarVector right)
static readonly int PROBLEM_INFEASIBLE
static global::System.Exception Retrieve()
static readonly int NORMAL_PRIORITY
static global::System.IntPtr Solver_MakeSearchLog__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, VoidToString jarg3)
static bool Solver_SolveAndCommit__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeGuidedLocalSearch__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, LongLongLongToLong jarg4, long jarg5, global::System.Runtime.InteropServices.HandleRef jarg6, global::System.Runtime.InteropServices.HandleRef jarg7, double jarg8)
LocalSearchFilter MakeRejectFilter()
static global::System.IntPtr Solver_MakeSimulatedAnnealing(global::System.Runtime.InteropServices.HandleRef jarg1, bool jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, long jarg5)
static int Solver_CHOOSE_MAX_REGRET_ON_MIN_get()
bool NextSolution()
Constraint MakeIsLessOrEqualCt(IntExpr left, IntExpr right, IntVar b)
static bool Solver_SolveAndCommit__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
SolutionCollector MakeAllSolutionCollector(Assignment assignment)
static readonly int ENDS_AT_START
static global::System.IntPtr Solver_MakeFixedDurationStartSyncedOnEndIntervalVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
static readonly int CHOOSE_MIN_SIZE_HIGHEST_MAX
static readonly int DECREMENT
Constraint MakeIntervalVarRelation(IntervalVar t1, int r, IntervalVar t2)
static int Solver_ENDS_AFTER_END_get()
static bool Solver_InstrumentsVariables(global::System.Runtime.InteropServices.HandleRef jarg1)
static global::System.IntPtr Solver_MakeSearchLog__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, VoidToString jarg4)
Decision MakeDecision(SolverToVoid apply, SolverToVoid refute)
Constraint MakeCover(IntervalVarVector vars, IntervalVar target_var)
static void Solver_NewSearchAux__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static bool Solver_SolveAndCommit__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
IntExpr MakeConditionalExpression(IntVar condition, IntExpr expr, long unperformed_value)
static global::System.IntPtr Solver_MakeFailuresLimit(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2)
Constraint MakeIntervalVarRelation(IntervalVar t, int r, long d)
DecisionBuilder MakePhase(IntVarVector vars, LongToLong var_evaluator, LongLongToLong value_evaluator, LongToLong tie_breaker)
Constraint MakeIndexOfConstraint(IntVarVector vars, IntVar index, long target)
DecisionBuilder MakeStoreAssignment(Assignment assignment)
static global::System.IntPtr Solver_MakeSemiContinuousExpr(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4)
static int Solver_INCREMENT_get()
static readonly int STARTS_AFTER_END
IntExpr MakeDifference(long value, IntExpr expr)
static readonly int FULLPATHLNS
static global::System.IntPtr Solver_MakeCumulative__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4, string jarg5)
OptimizeVar MakeWeightedMinimize(IntVarVector sub_objectives, long[] weights, long step)
IntVar MakeIsEqualVar(IntExpr v1, IntExpr v2)
static global::System.IntPtr Solver_MakeDiv__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static readonly int STARTS_AT_END
LocalSearchOperator MakeOperator(IntVarVector vars, LongLongLongToLong evaluator, int op)
SearchMonitor MakeSearchLog(int branch_period, OptimizeVar opt_var, VoidToString display_callback)
static readonly int CHOICE_POINT
static global::System.IntPtr Solver_MakeDefaultPhase__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeDistribute(IntVarVector vars, int[] values, IntVarVector cards)
static global::System.IntPtr Solver_MakeIsGreaterOrEqualCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
Decision MakeScheduleOrExpedite(IntervalVar var, long est, ref int marker)
static void Solver_AddLocalSearchMonitor(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
Constraint MakeSortingConstraint(IntVarVector vars, IntVarVector sorted)
static global::System.IntPtr Solver_MakePhase__SWIG_6(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, LongToLong jarg3, LongLongToLong jarg4, LongToLong jarg5)
static readonly int CHOOSE_MIN_SIZE_LOWEST_MIN
IntExpr MakeDiv(IntExpr expr, long value)
LocalSearchFilter MakeAcceptFilter()
static global::System.IntPtr Solver_MakeNestedOptimize__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, bool jarg4, long jarg5)
static int Solver_CHOOSE_RANDOM_RANK_FORWARD_get()
static global::System.IntPtr Solver_MakeLimit__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, long jarg2, long jarg3, long jarg4, long jarg5, bool jarg6)
delegate bool LongLongLongToBoolean(long t, long u, long v)
static int Solver_DELAYED_PRIORITY_get()
static readonly int CROSS
static int Solver_NO_MORE_SOLUTIONS_get()
static void Solver_AddCastConstraint(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
static int Solver_INTERVAL_SIMPLE_get()
static global::System.IntPtr Solver_MakeSum__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
SearchMonitor MakeSearchLog(int branch_period, VoidToString display_callback)
static readonly int ENDS_AT
static readonly int CHOOSE_HIGHEST_MAX
static int Solver_INT_VAR_SIMPLE_get()
long AcceptedNeighbors()
OptimizeVar MakeOptimize(bool maximize, IntVar v, long step)
static global::System.IntPtr Solver_MakeIsBetweenCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, long jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static global::System.IntPtr Solver_MakeScalProdEquality__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4)
static global::System.IntPtr Solver_MakeEquality__SWIG_3(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeNonEquality__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static int Solver_INT_VALUE_SIMPLE_get()
Definition: Decision.cs:18
static global::System.IntPtr Solver_MakeNBestValueSolutionCollector__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int jarg3, bool jarg4)
static global::System.IntPtr Solver_MakeSearchLog__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeNonOverlappingBoxesConstraint__SWIG_2(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int length4, int[] jarg4, int length5, int[] jarg5)
IntVar MakeIsGreaterVar(IntExpr left, IntExpr right)
static readonly int EXTENDEDSWAPACTIVE
static global::System.IntPtr Solver_MakeMin__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static global::System.IntPtr Solver_MakeExitSearchCallback(global::System.Runtime.InteropServices.HandleRef jarg1, VoidToVoid jarg2)
Definition: OptimizeVar.cs:18
static int Solver_CHOOSE_MIN_SIZE_HIGHEST_MIN_get()
static bool Solver_Solve__SWIG_4(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, global::System.Runtime.InteropServices.HandleRef jarg4, global::System.Runtime.InteropServices.HandleRef jarg5)
static int Solver_CHOOSE_PATH_get()
static int Solver_Rand32(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
static readonly int CHOOSE_STATIC_GLOBAL_BEST
Constraint MakeIsLessCstCt(IntExpr v, long c, IntVar b)
static readonly int INTERVAL_SET_TIMES_FORWARD
IntVar? variable
Constraint MakeTransitionConstraint(IntVarVector vars, IntTupleSet transition_table, long initial_state, int[] final_states)
Constraint MakeNotMemberCt(IntExpr expr, int[] values)
static global::System.IntPtr Solver_MakeScalProdGreaterOrEqual__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, int[] jarg3, long jarg4)
static global::System.IntPtr Solver_MakePhase__SWIG_8(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, int jarg4, int jarg5)
delegate long LongLongToLong(long t, long u)
static global::System.IntPtr Solver_MakeLess__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
static readonly int INT_VAR_SIMPLE
int State()
ulong FailStamp()
static global::System.IntPtr Solver_MakeVariableDomainFilter(global::System.Runtime.InteropServices.HandleRef jarg1)
IntVar MakeIntVar(long min, long max, string name)
static global::System.IntPtr Solver_MakeDiv__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3)
Constraint MakeNullIntersect(IntVarVector first_vars, IntVarVector second_vars)
static global::System.IntPtr Solver_MakeIsEqualCstCt(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, long jarg3, global::System.Runtime.InteropServices.HandleRef jarg4)
IntervalVar MakeIntervalVar(long start_min, long start_max, long duration_min, long duration_max, long end_min, long end_max, bool optional, string name)
static readonly int STARTS_AFTER
static long Solver_MemoryUsage()
static global::System.IntPtr Solver_MakeIsLessOrEqualVar(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
static int Solver_REVERSIBLE_ACTION_get()
static readonly int CHOOSE_FIRST_UNBOUND
ModelVisitor MakePrintModelVisitor()
Constraint MakeCumulative(IntervalVarVector intervals, long[] demands, long capacity, string name)
static global::System.IntPtr Solver_MakeTransitionConstraint__SWIG_1(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, global::System.Runtime.InteropServices.HandleRef jarg3, long jarg4, int length5, int[] jarg5)
static int Solver_ENDS_AT_get()
static bool Solver_IsLocalSearchProfilingEnabled(global::System.Runtime.InteropServices.HandleRef jarg1)
Constraint MakeElementEquality(int[] vals, IntVar index, IntVar target)
static int Solver_KEEP_RIGHT_get()
static int Solver_ASSIGN_RANDOM_VALUE_get()
static global::System.IntPtr Solver_MakeCumulative__SWIG_0(global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2, int length3, long[] jarg3, long jarg4, string jarg5)