SolutionCallback.cs

Go to the documentation of this file.

//------------------------------------------------------------------------------
// <auto-generated />
//
// This file was automatically generated by SWIG (https://www.swig.org).
// Version 4.3.0
//
// Do not make changes to this file unless you know what you are doing - modify
// the SWIG interface file instead.
//------------------------------------------------------------------------------
 
namespace Google.OrTools.Sat {
 
using System;
using System.Runtime.InteropServices;
using System.Collections;
 
public partial class SolutionCallback : global::System.IDisposable {
  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
  protected bool swigCMemOwn;
 
  internal SolutionCallback(global::System.IntPtr cPtr, bool cMemoryOwn) {
    swigCMemOwn = cMemoryOwn;
    swigCPtr = new global::System.Runtime.InteropServices.HandleRef(this, cPtr);
  }
 
  internal static global::System.Runtime.InteropServices.HandleRef getCPtr(SolutionCallback 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(SolutionCallback 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);
    }
  }
 
  ~SolutionCallback() {
    Dispose(false);
  }
 
  public void Dispose() {
    Dispose(true);
    global::System.GC.SuppressFinalize(this);
  }
 
  protected virtual void Dispose(bool disposing) {
    lock(this) {
      if (swigCPtr.Handle != global::System.IntPtr.Zero) {
        if (swigCMemOwn) {
          swigCMemOwn = false;
          operations_research_satPINVOKE.delete_SolutionCallback(swigCPtr);
        }
        swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
      }
    }
  }
 
  public virtual void OnSolutionCallback() {
    operations_research_satPINVOKE.SolutionCallback_OnSolutionCallback(swigCPtr);
  }
 
  public long NumBooleans() {
    long ret = operations_research_satPINVOKE.SolutionCallback_NumBooleans(swigCPtr);
    return ret;
  }
 
  public long NumBranches() {
    long ret = operations_research_satPINVOKE.SolutionCallback_NumBranches(swigCPtr);
    return ret;
  }
 
  public long NumConflicts() {
    long ret = operations_research_satPINVOKE.SolutionCallback_NumConflicts(swigCPtr);
    return ret;
  }
 
  public long NumBinaryPropagations() {
    long ret = operations_research_satPINVOKE.SolutionCallback_NumBinaryPropagations(swigCPtr);
    return ret;
  }
 
  public long NumIntegerPropagations() {
    long ret = operations_research_satPINVOKE.SolutionCallback_NumIntegerPropagations(swigCPtr);
    return ret;
  }
 
  public double WallTime() {
    double ret = operations_research_satPINVOKE.SolutionCallback_WallTime(swigCPtr);
    return ret;
  }
 
  public double UserTime() {
    double ret = operations_research_satPINVOKE.SolutionCallback_UserTime(swigCPtr);
    return ret;
  }
 
  public double ObjectiveValue() {
    double ret = operations_research_satPINVOKE.SolutionCallback_ObjectiveValue(swigCPtr);
    return ret;
  }
 
  public double BestObjectiveBound() {
    double ret = operations_research_satPINVOKE.SolutionCallback_BestObjectiveBound(swigCPtr);
    return ret;
  }
 
  public long SolutionIntegerValue(int index) {
    long ret = operations_research_satPINVOKE.SolutionCallback_SolutionIntegerValue(swigCPtr, index);
    return ret;
  }
 
  public bool SolutionBooleanValue(int index) {
    bool ret = operations_research_satPINVOKE.SolutionCallback_SolutionBooleanValue(swigCPtr, index);
    return ret;
  }
 
  public void StopSearch() {
    operations_research_satPINVOKE.SolutionCallback_StopSearch(swigCPtr);
  }
 
  public SWIGTYPE_p_operations_research__sat__CpSolverResponse Response() {
    SWIGTYPE_p_operations_research__sat__CpSolverResponse ret = new SWIGTYPE_p_operations_research__sat__CpSolverResponse(operations_research_satPINVOKE.SolutionCallback_Response(swigCPtr), false);
    return ret;
  }
 
  public SolutionCallback() : this(operations_research_satPINVOKE.new_SolutionCallback(), true) {
    SwigDirectorConnect();
  }
 
  private void SwigDirectorConnect() {
    if (SwigDerivedClassHasMethod("OnSolutionCallback", swigMethodTypes0))
      swigDelegate0 = new SwigDelegateSolutionCallback_0(SwigDirectorMethodOnSolutionCallback);
    operations_research_satPINVOKE.SolutionCallback_director_connect(swigCPtr, swigDelegate0);
  }
 
  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(SolutionCallback))) &&
        methodInfo.DeclaringType != methodInfo.GetBaseDefinition().DeclaringType) {
        return true;
      }
    }
 
    return false;
  }
 
  private void SwigDirectorMethodOnSolutionCallback() {
    OnSolutionCallback();
  }
 
  public delegate void SwigDelegateSolutionCallback_0();
 
  private SwigDelegateSolutionCallback_0 swigDelegate0;
 
  private static global::System.Type[] swigMethodTypes0 = new global::System.Type[] {  };
}
 
}