SolveWrapper.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.Sat {
 
// Used to wrap log callbacks (std::function<void(const std::string&>)
public delegate void StringToVoidDelegate(string message);
// Used to wrap best bound callbacks (std::function<void(double>)
public delegate void DoubleToVoidDelegate(double bound);
 
public partial class SolveWrapper : global::System.IDisposable {
  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
  protected bool swigCMemOwn;
 
  internal SolveWrapper(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(SolveWrapper 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(SolveWrapper 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);
    }
  }
 
  ~SolveWrapper() {
    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_SolveWrapper(swigCPtr);
        }
        swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
      }
    }
  }
 
  public void SetStringParameters(string string_parameters) {
    operations_research_satPINVOKE.SolveWrapper_SetStringParameters(swigCPtr, string_parameters);
    if (operations_research_satPINVOKE.SWIGPendingException.Pending) throw operations_research_satPINVOKE.SWIGPendingException.Retrieve();
  }
 
  public void AddSolutionCallback(SolutionCallback callback) {
    operations_research_satPINVOKE.SolveWrapper_AddSolutionCallback(swigCPtr, SolutionCallback.getCPtr(callback));
    if (operations_research_satPINVOKE.SWIGPendingException.Pending) throw operations_research_satPINVOKE.SWIGPendingException.Retrieve();
  }
 
  public void ClearSolutionCallback(SolutionCallback callback) {
    operations_research_satPINVOKE.SolveWrapper_ClearSolutionCallback(swigCPtr, SolutionCallback.getCPtr(callback));
    if (operations_research_satPINVOKE.SWIGPendingException.Pending) throw operations_research_satPINVOKE.SWIGPendingException.Retrieve();
  }
 
  public void AddLogCallbackFromClass(LogCallback log_callback) {
    operations_research_satPINVOKE.SolveWrapper_AddLogCallbackFromClass(swigCPtr, LogCallback.getCPtr(log_callback));
  }
 
  public void AddBestBoundCallbackFromClass(BestBoundCallback best_bound_callback) {
    operations_research_satPINVOKE.SolveWrapper_AddBestBoundCallbackFromClass(swigCPtr, BestBoundCallback.getCPtr(best_bound_callback));
  }
 
  public Google.OrTools.Sat.CpSolverResponse Solve(Google.OrTools.Sat.CpModelProto model_proto) {
  System.IntPtr dataPointer = operations_research_satPINVOKE.SolveWrapper_Solve(swigCPtr, ProtoHelper.ProtoToByteArray(model_proto, out var buffer), buffer);
  try
  {
    int size = System.Runtime.InteropServices.Marshal.ReadInt32(dataPointer);
    unsafe
    {
      var data = new System.ReadOnlySpan<byte>((dataPointer + sizeof(int)).ToPointer(), size);
      return Google.OrTools.Sat.CpSolverResponse.Parser.ParseFrom(data);
    }
  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/)
  {
    throw new System.Exception("Unable to parse Google.OrTools.Sat.CpSolverResponse protocol message.");
  }
  finally
  {
    Google.OrTools.Init.CppBridge.DeleteByteArray(dataPointer);
  }
}
 
  public void StopSearch() {
    operations_research_satPINVOKE.SolveWrapper_StopSearch(swigCPtr);
  }
 
  public SolveWrapper() : this(operations_research_satPINVOKE.new_SolveWrapper(), true) {
  }
 
}
 
}