RegularLimit.cs

Go to the documentation of this file.

//------------------------------------------------------------------------------
// <auto-generated />
//
// This file was automatically generated by SWIG (https://www.swig.org).
// Version 4.2.1
//
// Do not make changes to this file unless you know what you are doing - modify
// the SWIG interface file instead.
//------------------------------------------------------------------------------
 
namespace Google.OrTools.ConstraintSolver {
 
using System;
using System.Runtime.InteropServices;
using System.Collections;
using System.Collections.Generic;
 
public partial class RegularLimit : SearchLimit {
  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
 
  internal RegularLimit(global::System.IntPtr cPtr, bool cMemoryOwn) : base(operations_research_constraint_solverPINVOKE.RegularLimit_SWIGUpcast(cPtr), cMemoryOwn) {
    swigCPtr = new global::System.Runtime.InteropServices.HandleRef(this, cPtr);
  }
 
  internal static global::System.Runtime.InteropServices.HandleRef getCPtr(RegularLimit obj) {
    return (obj == null) ? new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero) : obj.swigCPtr;
  }
 
  internal static global::System.Runtime.InteropServices.HandleRef swigRelease(RegularLimit obj) {
    if (obj != null) {
      if (!obj.swigCMemOwn)
        throw new global::System.ApplicationException("Cannot release ownership as memory is not owned");
      global::System.Runtime.InteropServices.HandleRef ptr = obj.swigCPtr;
      obj.swigCMemOwn = false;
      obj.Dispose();
      return ptr;
    } else {
      return new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
    }
  }
 
  protected override void Dispose(bool disposing) {
    lock(this) {
      if (swigCPtr.Handle != global::System.IntPtr.Zero) {
        if (swigCMemOwn) {
          swigCMemOwn = false;
          operations_research_constraint_solverPINVOKE.delete_RegularLimit(swigCPtr);
        }
        swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
      }
      base.Dispose(disposing);
    }
  }
 
  public RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, bool smart_time_check, bool cumulative) : this(operations_research_constraint_solverPINVOKE.new_RegularLimit(Solver.getCPtr(s), SWIGTYPE_p_absl__Duration.getCPtr(time), branches, failures, solutions, smart_time_check, cumulative), true) {
    if (operations_research_constraint_solverPINVOKE.SWIGPendingException.Pending) throw operations_research_constraint_solverPINVOKE.SWIGPendingException.Retrieve();
    SwigDirectorConnect();
  }
 
  public override void Copy(SearchLimit limit) {
    if (SwigDerivedClassHasMethod("Copy", swigMethodTypes27)) operations_research_constraint_solverPINVOKE.RegularLimit_CopySwigExplicitRegularLimit(swigCPtr, SearchLimit.getCPtr(limit)); else operations_research_constraint_solverPINVOKE.RegularLimit_Copy(swigCPtr, SearchLimit.getCPtr(limit));
  }
 
  public override SearchLimit MakeClone() {
    global::System.IntPtr cPtr = (SwigDerivedClassHasMethod("MakeClone", swigMethodTypes28) ? operations_research_constraint_solverPINVOKE.RegularLimit_MakeCloneSwigExplicitRegularLimit(swigCPtr) : operations_research_constraint_solverPINVOKE.RegularLimit_MakeClone(swigCPtr));
    SearchLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new SearchLimit(cPtr, false);
    return ret;
  }
 
  public RegularLimit MakeIdenticalClone() {
    global::System.IntPtr cPtr = operations_research_constraint_solverPINVOKE.RegularLimit_MakeIdenticalClone(swigCPtr);
    RegularLimit ret = (cPtr == global::System.IntPtr.Zero) ? null : new RegularLimit(cPtr, false);
    return ret;
  }
 
  public override bool CheckWithOffset(SWIGTYPE_p_absl__Duration offset) {
    bool ret = (SwigDerivedClassHasMethod("CheckWithOffset", swigMethodTypes25) ? operations_research_constraint_solverPINVOKE.RegularLimit_CheckWithOffsetSwigExplicitRegularLimit(swigCPtr, SWIGTYPE_p_absl__Duration.getCPtr(offset)) : operations_research_constraint_solverPINVOKE.RegularLimit_CheckWithOffset(swigCPtr, SWIGTYPE_p_absl__Duration.getCPtr(offset)));
    if (operations_research_constraint_solverPINVOKE.SWIGPendingException.Pending) throw operations_research_constraint_solverPINVOKE.SWIGPendingException.Retrieve();
    return ret;
  }
 
  public override void Init() {
    if (SwigDerivedClassHasMethod("Init", swigMethodTypes26)) operations_research_constraint_solverPINVOKE.RegularLimit_InitSwigExplicitRegularLimit(swigCPtr); else operations_research_constraint_solverPINVOKE.RegularLimit_Init(swigCPtr);
  }
 
  public override void ExitSearch() {
    if (SwigDerivedClassHasMethod("ExitSearch", swigMethodTypes3)) operations_research_constraint_solverPINVOKE.RegularLimit_ExitSearchSwigExplicitRegularLimit(swigCPtr); else operations_research_constraint_solverPINVOKE.RegularLimit_ExitSearch(swigCPtr);
  }
 
  public void UpdateLimits(SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions) {
    operations_research_constraint_solverPINVOKE.RegularLimit_UpdateLimits(swigCPtr, SWIGTYPE_p_absl__Duration.getCPtr(time), branches, failures, solutions);
    if (operations_research_constraint_solverPINVOKE.SWIGPendingException.Pending) throw operations_research_constraint_solverPINVOKE.SWIGPendingException.Retrieve();
  }
 
  public long WallTime() {
    long ret = operations_research_constraint_solverPINVOKE.RegularLimit_WallTime(swigCPtr);
    return ret;
  }
 
  public long Branches() {
    long ret = operations_research_constraint_solverPINVOKE.RegularLimit_Branches(swigCPtr);
    return ret;
  }
 
  public long Failures() {
    long ret = operations_research_constraint_solverPINVOKE.RegularLimit_Failures(swigCPtr);
    return ret;
  }
 
  public long Solutions() {
    long ret = operations_research_constraint_solverPINVOKE.RegularLimit_Solutions(swigCPtr);
    return ret;
  }
 
  public override bool IsUncheckedSolutionLimitReached() {
    bool ret = (SwigDerivedClassHasMethod("IsUncheckedSolutionLimitReached", swigMethodTypes20) ? operations_research_constraint_solverPINVOKE.RegularLimit_IsUncheckedSolutionLimitReachedSwigExplicitRegularLimit(swigCPtr) : operations_research_constraint_solverPINVOKE.RegularLimit_IsUncheckedSolutionLimitReached(swigCPtr));
    return ret;
  }
 
  public override int ProgressPercent() {
    int ret = (SwigDerivedClassHasMethod("ProgressPercent", swigMethodTypes22) ? operations_research_constraint_solverPINVOKE.RegularLimit_ProgressPercentSwigExplicitRegularLimit(swigCPtr) : operations_research_constraint_solverPINVOKE.RegularLimit_ProgressPercent(swigCPtr));
    return ret;
  }
 
  public override string ToString() {
    string ret = (SwigDerivedClassHasMethod("ToString", swigMethodTypes0) ? operations_research_constraint_solverPINVOKE.RegularLimit_ToStringSwigExplicitRegularLimit(swigCPtr) : operations_research_constraint_solverPINVOKE.RegularLimit_ToString(swigCPtr));
    return ret;
  }
 
  public override void Install() {
    if (SwigDerivedClassHasMethod("Install", swigMethodTypes24)) operations_research_constraint_solverPINVOKE.RegularLimit_InstallSwigExplicitRegularLimit(swigCPtr); else operations_research_constraint_solverPINVOKE.RegularLimit_Install(swigCPtr);
  }
 
  public override void Accept(ModelVisitor visitor) {
    if (SwigDerivedClassHasMethod("Accept", swigMethodTypes23)) operations_research_constraint_solverPINVOKE.RegularLimit_AcceptSwigExplicitRegularLimit(swigCPtr, ModelVisitor.getCPtr(visitor)); else operations_research_constraint_solverPINVOKE.RegularLimit_Accept(swigCPtr, ModelVisitor.getCPtr(visitor));
  }
 
  private void SwigDirectorConnect() {
    if (SwigDerivedClassHasMethod("ToString", swigMethodTypes0))
      swigDelegate0 = new SwigDelegateRegularLimit_0(SwigDirectorMethodToString);
    if (SwigDerivedClassHasMethod("EnterSearch", swigMethodTypes1))
      swigDelegate1 = new SwigDelegateRegularLimit_1(SwigDirectorMethodEnterSearch);
    if (SwigDerivedClassHasMethod("RestartSearch", swigMethodTypes2))
      swigDelegate2 = new SwigDelegateRegularLimit_2(SwigDirectorMethodRestartSearch);
    if (SwigDerivedClassHasMethod("ExitSearch", swigMethodTypes3))
      swigDelegate3 = new SwigDelegateRegularLimit_3(SwigDirectorMethodExitSearch);
    if (SwigDerivedClassHasMethod("BeginNextDecision", swigMethodTypes4))
      swigDelegate4 = new SwigDelegateRegularLimit_4(SwigDirectorMethodBeginNextDecision);
    if (SwigDerivedClassHasMethod("EndNextDecision", swigMethodTypes5))
      swigDelegate5 = new SwigDelegateRegularLimit_5(SwigDirectorMethodEndNextDecision);
    if (SwigDerivedClassHasMethod("ApplyDecision", swigMethodTypes6))
      swigDelegate6 = new SwigDelegateRegularLimit_6(SwigDirectorMethodApplyDecision);
    if (SwigDerivedClassHasMethod("RefuteDecision", swigMethodTypes7))
      swigDelegate7 = new SwigDelegateRegularLimit_7(SwigDirectorMethodRefuteDecision);
    if (SwigDerivedClassHasMethod("AfterDecision", swigMethodTypes8))
      swigDelegate8 = new SwigDelegateRegularLimit_8(SwigDirectorMethodAfterDecision);
    if (SwigDerivedClassHasMethod("BeginFail", swigMethodTypes9))
      swigDelegate9 = new SwigDelegateRegularLimit_9(SwigDirectorMethodBeginFail);
    if (SwigDerivedClassHasMethod("EndFail", swigMethodTypes10))
      swigDelegate10 = new SwigDelegateRegularLimit_10(SwigDirectorMethodEndFail);
    if (SwigDerivedClassHasMethod("BeginInitialPropagation", swigMethodTypes11))
      swigDelegate11 = new SwigDelegateRegularLimit_11(SwigDirectorMethodBeginInitialPropagation);
    if (SwigDerivedClassHasMethod("EndInitialPropagation", swigMethodTypes12))
      swigDelegate12 = new SwigDelegateRegularLimit_12(SwigDirectorMethodEndInitialPropagation);
    if (SwigDerivedClassHasMethod("AcceptSolution", swigMethodTypes13))
      swigDelegate13 = new SwigDelegateRegularLimit_13(SwigDirectorMethodAcceptSolution);
    if (SwigDerivedClassHasMethod("AtSolution", swigMethodTypes14))
      swigDelegate14 = new SwigDelegateRegularLimit_14(SwigDirectorMethodAtSolution);
    if (SwigDerivedClassHasMethod("NoMoreSolutions", swigMethodTypes15))
      swigDelegate15 = new SwigDelegateRegularLimit_15(SwigDirectorMethodNoMoreSolutions);
    if (SwigDerivedClassHasMethod("LocalOptimum", swigMethodTypes16))
      swigDelegate16 = new SwigDelegateRegularLimit_16(SwigDirectorMethodLocalOptimum);
    if (SwigDerivedClassHasMethod("AcceptDelta", swigMethodTypes17))
      swigDelegate17 = new SwigDelegateRegularLimit_17(SwigDirectorMethodAcceptDelta);
    if (SwigDerivedClassHasMethod("AcceptNeighbor", swigMethodTypes18))
      swigDelegate18 = new SwigDelegateRegularLimit_18(SwigDirectorMethodAcceptNeighbor);
    if (SwigDerivedClassHasMethod("AcceptUncheckedNeighbor", swigMethodTypes19))
      swigDelegate19 = new SwigDelegateRegularLimit_19(SwigDirectorMethodAcceptUncheckedNeighbor);
    if (SwigDerivedClassHasMethod("IsUncheckedSolutionLimitReached", swigMethodTypes20))
      swigDelegate20 = new SwigDelegateRegularLimit_20(SwigDirectorMethodIsUncheckedSolutionLimitReached);
    if (SwigDerivedClassHasMethod("PeriodicCheck", swigMethodTypes21))
      swigDelegate21 = new SwigDelegateRegularLimit_21(SwigDirectorMethodPeriodicCheck);
    if (SwigDerivedClassHasMethod("ProgressPercent", swigMethodTypes22))
      swigDelegate22 = new SwigDelegateRegularLimit_22(SwigDirectorMethodProgressPercent);
    if (SwigDerivedClassHasMethod("Accept", swigMethodTypes23))
      swigDelegate23 = new SwigDelegateRegularLimit_23(SwigDirectorMethodAccept);
    if (SwigDerivedClassHasMethod("Install", swigMethodTypes24))
      swigDelegate24 = new SwigDelegateRegularLimit_24(SwigDirectorMethodInstall);
    if (SwigDerivedClassHasMethod("CheckWithOffset", swigMethodTypes25))
      swigDelegate25 = new SwigDelegateRegularLimit_25(SwigDirectorMethodCheckWithOffset);
    if (SwigDerivedClassHasMethod("Init", swigMethodTypes26))
      swigDelegate26 = new SwigDelegateRegularLimit_26(SwigDirectorMethodInit);
    if (SwigDerivedClassHasMethod("Copy", swigMethodTypes27))
      swigDelegate27 = new SwigDelegateRegularLimit_27(SwigDirectorMethodCopy);
    if (SwigDerivedClassHasMethod("MakeClone", swigMethodTypes28))
      swigDelegate28 = new SwigDelegateRegularLimit_28(SwigDirectorMethodMakeClone);
    operations_research_constraint_solverPINVOKE.RegularLimit_director_connect(swigCPtr, swigDelegate0, swigDelegate1, swigDelegate2, swigDelegate3, swigDelegate4, swigDelegate5, swigDelegate6, swigDelegate7, swigDelegate8, swigDelegate9, swigDelegate10, swigDelegate11, swigDelegate12, swigDelegate13, swigDelegate14, swigDelegate15, swigDelegate16, swigDelegate17, swigDelegate18, swigDelegate19, swigDelegate20, swigDelegate21, swigDelegate22, swigDelegate23, swigDelegate24, swigDelegate25, swigDelegate26, swigDelegate27, swigDelegate28);
  }
 
  private bool SwigDerivedClassHasMethod(string methodName, global::System.Type[] methodTypes) {
    global::System.Reflection.MethodInfo[] methodInfos = this.GetType().GetMethods(
        global::System.Reflection.BindingFlags.Public | global::System.Reflection.BindingFlags.NonPublic | global::System.Reflection.BindingFlags.Instance);
    foreach (global::System.Reflection.MethodInfo methodInfo in methodInfos) {
      if (methodInfo.DeclaringType == null)
        continue;
 
      if (methodInfo.Name != methodName)
        continue;
 
      var parameters = methodInfo.GetParameters();
      if (parameters.Length != methodTypes.Length)
        continue;
 
      bool parametersMatch = true;
      for (var i = 0; i < parameters.Length; i++) {
        if (parameters[i].ParameterType != methodTypes[i]) {
          parametersMatch = false;
          break;
        }
      }
 
      if (!parametersMatch)
        continue;
 
      if (methodInfo.IsVirtual && (methodInfo.DeclaringType.IsSubclassOf(typeof(RegularLimit))) &&
        methodInfo.DeclaringType != methodInfo.GetBaseDefinition().DeclaringType) {
        return true;
      }
    }
 
    return false;
  }
 
  private string SwigDirectorMethodToString() {
    return ToString();
  }
 
  private void SwigDirectorMethodEnterSearch() {
    EnterSearch();
  }
 
  private void SwigDirectorMethodRestartSearch() {
    RestartSearch();
  }
 
  private void SwigDirectorMethodExitSearch() {
    ExitSearch();
  }
 
  private void SwigDirectorMethodBeginNextDecision(global::System.IntPtr b) {
    BeginNextDecision((b == global::System.IntPtr.Zero) ? null : new DecisionBuilder(b, false));
  }
 
  private void SwigDirectorMethodEndNextDecision(global::System.IntPtr b, global::System.IntPtr d) {
    EndNextDecision((b == global::System.IntPtr.Zero) ? null : new DecisionBuilder(b, false), (d == global::System.IntPtr.Zero) ? null : new Decision(d, false));
  }
 
  private void SwigDirectorMethodApplyDecision(global::System.IntPtr d) {
    ApplyDecision((d == global::System.IntPtr.Zero) ? null : new Decision(d, false));
  }
 
  private void SwigDirectorMethodRefuteDecision(global::System.IntPtr d) {
    RefuteDecision((d == global::System.IntPtr.Zero) ? null : new Decision(d, false));
  }
 
  private void SwigDirectorMethodAfterDecision(global::System.IntPtr d, bool apply) {
    AfterDecision((d == global::System.IntPtr.Zero) ? null : new Decision(d, false), apply);
  }
 
  private void SwigDirectorMethodBeginFail() {
    BeginFail();
  }
 
  private void SwigDirectorMethodEndFail() {
    EndFail();
  }
 
  private void SwigDirectorMethodBeginInitialPropagation() {
    BeginInitialPropagation();
  }
 
  private void SwigDirectorMethodEndInitialPropagation() {
    EndInitialPropagation();
  }
 
  private bool SwigDirectorMethodAcceptSolution() {
    return AcceptSolution();
  }
 
  private bool SwigDirectorMethodAtSolution() {
    return AtSolution();
  }
 
  private void SwigDirectorMethodNoMoreSolutions() {
    NoMoreSolutions();
  }
 
  private bool SwigDirectorMethodLocalOptimum() {
    return LocalOptimum();
  }
 
  private bool SwigDirectorMethodAcceptDelta(global::System.IntPtr delta, global::System.IntPtr deltadelta) {
    return AcceptDelta((delta == global::System.IntPtr.Zero) ? null : new Assignment(delta, false), (deltadelta == global::System.IntPtr.Zero) ? null : new Assignment(deltadelta, false));
  }
 
  private void SwigDirectorMethodAcceptNeighbor() {
    AcceptNeighbor();
  }
 
  private void SwigDirectorMethodAcceptUncheckedNeighbor() {
    AcceptUncheckedNeighbor();
  }
 
  private bool SwigDirectorMethodIsUncheckedSolutionLimitReached() {
    return IsUncheckedSolutionLimitReached();
  }
 
  private void SwigDirectorMethodPeriodicCheck() {
    PeriodicCheck();
  }
 
  private int SwigDirectorMethodProgressPercent() {
    return ProgressPercent();
  }
 
  private void SwigDirectorMethodAccept(global::System.IntPtr visitor) {
    Accept((visitor == global::System.IntPtr.Zero) ? null : new ModelVisitor(visitor, false));
  }
 
  private void SwigDirectorMethodInstall() {
    Install();
  }
 
  private bool SwigDirectorMethodCheckWithOffset(global::System.IntPtr offset) {
    return CheckWithOffset(new SWIGTYPE_p_absl__Duration(offset, true));
  }
 
  private void SwigDirectorMethodInit() {
    Init();
  }
 
  private void SwigDirectorMethodCopy(global::System.IntPtr limit) {
    Copy((limit == global::System.IntPtr.Zero) ? null : new SearchLimit(limit, false));
  }
 
  private global::System.IntPtr SwigDirectorMethodMakeClone() {
    return SearchLimit.getCPtr(MakeClone()).Handle;
  }
 
  public delegate string SwigDelegateRegularLimit_0();
  public delegate void SwigDelegateRegularLimit_1();
  public delegate void SwigDelegateRegularLimit_2();
  public delegate void SwigDelegateRegularLimit_3();
  public delegate void SwigDelegateRegularLimit_4(global::System.IntPtr b);
  public delegate void SwigDelegateRegularLimit_5(global::System.IntPtr b, global::System.IntPtr d);
  public delegate void SwigDelegateRegularLimit_6(global::System.IntPtr d);
  public delegate void SwigDelegateRegularLimit_7(global::System.IntPtr d);
  public delegate void SwigDelegateRegularLimit_8(global::System.IntPtr d, bool apply);
  public delegate void SwigDelegateRegularLimit_9();
  public delegate void SwigDelegateRegularLimit_10();
  public delegate void SwigDelegateRegularLimit_11();
  public delegate void SwigDelegateRegularLimit_12();
  public delegate bool SwigDelegateRegularLimit_13();
  public delegate bool SwigDelegateRegularLimit_14();
  public delegate void SwigDelegateRegularLimit_15();
  public delegate bool SwigDelegateRegularLimit_16();
  public delegate bool SwigDelegateRegularLimit_17(global::System.IntPtr delta, global::System.IntPtr deltadelta);
  public delegate void SwigDelegateRegularLimit_18();
  public delegate void SwigDelegateRegularLimit_19();
  public delegate bool SwigDelegateRegularLimit_20();
  public delegate void SwigDelegateRegularLimit_21();
  public delegate int SwigDelegateRegularLimit_22();
  public delegate void SwigDelegateRegularLimit_23(global::System.IntPtr visitor);
  public delegate void SwigDelegateRegularLimit_24();
  public delegate bool SwigDelegateRegularLimit_25(global::System.IntPtr offset);
  public delegate void SwigDelegateRegularLimit_26();
  public delegate void SwigDelegateRegularLimit_27(global::System.IntPtr limit);
  public delegate global::System.IntPtr SwigDelegateRegularLimit_28();
 
  private SwigDelegateRegularLimit_0 swigDelegate0;
  private SwigDelegateRegularLimit_1 swigDelegate1;
  private SwigDelegateRegularLimit_2 swigDelegate2;
  private SwigDelegateRegularLimit_3 swigDelegate3;
  private SwigDelegateRegularLimit_4 swigDelegate4;
  private SwigDelegateRegularLimit_5 swigDelegate5;
  private SwigDelegateRegularLimit_6 swigDelegate6;
  private SwigDelegateRegularLimit_7 swigDelegate7;
  private SwigDelegateRegularLimit_8 swigDelegate8;
  private SwigDelegateRegularLimit_9 swigDelegate9;
  private SwigDelegateRegularLimit_10 swigDelegate10;
  private SwigDelegateRegularLimit_11 swigDelegate11;
  private SwigDelegateRegularLimit_12 swigDelegate12;
  private SwigDelegateRegularLimit_13 swigDelegate13;
  private SwigDelegateRegularLimit_14 swigDelegate14;
  private SwigDelegateRegularLimit_15 swigDelegate15;
  private SwigDelegateRegularLimit_16 swigDelegate16;
  private SwigDelegateRegularLimit_17 swigDelegate17;
  private SwigDelegateRegularLimit_18 swigDelegate18;
  private SwigDelegateRegularLimit_19 swigDelegate19;
  private SwigDelegateRegularLimit_20 swigDelegate20;
  private SwigDelegateRegularLimit_21 swigDelegate21;
  private SwigDelegateRegularLimit_22 swigDelegate22;
  private SwigDelegateRegularLimit_23 swigDelegate23;
  private SwigDelegateRegularLimit_24 swigDelegate24;
  private SwigDelegateRegularLimit_25 swigDelegate25;
  private SwigDelegateRegularLimit_26 swigDelegate26;
  private SwigDelegateRegularLimit_27 swigDelegate27;
  private SwigDelegateRegularLimit_28 swigDelegate28;
 
  private static global::System.Type[] swigMethodTypes0 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes1 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes2 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes3 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes4 = new global::System.Type[] { typeof(DecisionBuilder) };
  private static global::System.Type[] swigMethodTypes5 = new global::System.Type[] { typeof(DecisionBuilder), typeof(Decision) };
  private static global::System.Type[] swigMethodTypes6 = new global::System.Type[] { typeof(Decision) };
  private static global::System.Type[] swigMethodTypes7 = new global::System.Type[] { typeof(Decision) };
  private static global::System.Type[] swigMethodTypes8 = new global::System.Type[] { typeof(Decision), typeof(bool) };
  private static global::System.Type[] swigMethodTypes9 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes10 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes11 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes12 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes13 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes14 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes15 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes16 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes17 = new global::System.Type[] { typeof(Assignment), typeof(Assignment) };
  private static global::System.Type[] swigMethodTypes18 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes19 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes20 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes21 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes22 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes23 = new global::System.Type[] { typeof(ModelVisitor) };
  private static global::System.Type[] swigMethodTypes24 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes25 = new global::System.Type[] { typeof(SWIGTYPE_p_absl__Duration) };
  private static global::System.Type[] swigMethodTypes26 = new global::System.Type[] {  };
  private static global::System.Type[] swigMethodTypes27 = new global::System.Type[] { typeof(SearchLimit) };
  private static global::System.Type[] swigMethodTypes28 = new global::System.Type[] {  };
}
 
}