SatHelper.cs

Go to the documentation of this file.

//------------------------------------------------------------------------------
// <auto-generated />
//
// This file was automatically generated by SWIG (http://www.swig.org).
// Version 3.0.12
//
// 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 class SatHelper : global::System.IDisposable {
  private global::System.Runtime.InteropServices.HandleRef swigCPtr;
  protected bool swigCMemOwn;

  internal SatHelper(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(SatHelper obj) {
    return (obj == null) ? new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero) : obj.swigCPtr;
  }

  ~SatHelper() {
    Dispose();
  }

  public virtual void Dispose() {
    lock(this) {
      if (swigCPtr.Handle != global::System.IntPtr.Zero) {
        if (swigCMemOwn) {
          swigCMemOwn = false;
          operations_research_satPINVOKE.delete_SatHelper(swigCPtr);
        }
        swigCPtr = new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero);
      }
      global::System.GC.SuppressFinalize(this);
    }
  }

  public static Google.OrTools.Sat.CpSolverResponse Solve(Google.OrTools.Sat.CpModelProto model_proto) {
  byte[] tmp = new byte[4];
  System.IntPtr data = operations_research_satPINVOKE.SatHelper_Solve(model_proto.CalculateSize(), ProtoHelper.ProtoToByteArray(model_proto));
  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
  int size = System.BitConverter.ToInt32(tmp, 0);
  byte[] buf = new byte[size + 4];
  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
  // TODO(user): delete the C++ buffer.
  try {
    Google.Protobuf.CodedInputStream input =
        new Google.Protobuf.CodedInputStream(buf, 4, size);
    Google.OrTools.Sat.CpSolverResponse proto = new Google.OrTools.Sat.CpSolverResponse();
    proto.MergeFrom(input);
    return proto;
  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
    throw new System.Exception(
        "Unable to parse Google.OrTools.Sat.CpSolverResponse protocol message.");
  }
}

  public static Google.OrTools.Sat.CpSolverResponse SolveWithStringParameters(Google.OrTools.Sat.CpModelProto model_proto, string parameters) {
  byte[] tmp = new byte[4];
  System.IntPtr data = operations_research_satPINVOKE.SatHelper_SolveWithStringParameters(model_proto.CalculateSize(), ProtoHelper.ProtoToByteArray(model_proto), parameters);
  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
  int size = System.BitConverter.ToInt32(tmp, 0);
  byte[] buf = new byte[size + 4];
  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
  // TODO(user): delete the C++ buffer.
  try {
    Google.Protobuf.CodedInputStream input =
        new Google.Protobuf.CodedInputStream(buf, 4, size);
    Google.OrTools.Sat.CpSolverResponse proto = new Google.OrTools.Sat.CpSolverResponse();
    proto.MergeFrom(input);
    return proto;
  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
    throw new System.Exception(
        "Unable to parse Google.OrTools.Sat.CpSolverResponse protocol message.");
  }
}

  public static Google.OrTools.Sat.CpSolverResponse SolveWithStringParametersAndSolutionCallback(Google.OrTools.Sat.CpModelProto model_proto, string parameters, SolutionCallback callback) {
  byte[] tmp = new byte[4];
  System.IntPtr data = operations_research_satPINVOKE.SatHelper_SolveWithStringParametersAndSolutionCallback(model_proto.CalculateSize(), ProtoHelper.ProtoToByteArray(model_proto), parameters, SolutionCallback.getCPtr(callback));
  System.Runtime.InteropServices.Marshal.Copy(data, tmp, 0, 4);
  int size = System.BitConverter.ToInt32(tmp, 0);
  byte[] buf = new byte[size + 4];
  System.Runtime.InteropServices.Marshal.Copy(data, buf, 0, size + 4);
  // TODO(user): delete the C++ buffer.
  try {
    Google.Protobuf.CodedInputStream input =
        new Google.Protobuf.CodedInputStream(buf, 4, size);
    Google.OrTools.Sat.CpSolverResponse proto = new Google.OrTools.Sat.CpSolverResponse();
    proto.MergeFrom(input);
    return proto;
  } catch (Google.Protobuf.InvalidProtocolBufferException /*e*/) {
    throw new System.Exception(
        "Unable to parse Google.OrTools.Sat.CpSolverResponse protocol message.");
  }
}

  public static string ModelStats(Google.OrTools.Sat.CpModelProto model_proto) {
    string ret = operations_research_satPINVOKE.SatHelper_ModelStats(model_proto.CalculateSize(), ProtoHelper.ProtoToByteArray(model_proto));
    return ret;
  }

  public static string SolverResponseStats(Google.OrTools.Sat.CpSolverResponse response) {
    string ret = operations_research_satPINVOKE.SatHelper_SolverResponseStats(response.CalculateSize(), ProtoHelper.ProtoToByteArray(response));
    return ret;
  }

  public static string ValidateModel(Google.OrTools.Sat.CpModelProto model_proto) {
    string ret = operations_research_satPINVOKE.SatHelper_ValidateModel(model_proto.CalculateSize(), ProtoHelper.ProtoToByteArray(model_proto));
    return ret;
  }

  public SatHelper() : this(operations_research_satPINVOKE.new_SatHelper(), true) {
  }

}

}