CpSatHelper.java

Go to the documentation of this file.

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (http://www.swig.org).
 * Version 4.0.1
 *
 * Do not make changes to this file unless you know what you are doing--modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */

package com.google.ortools.sat;

import com.google.ortools.util.Domain;

public class CpSatHelper {
  private transient long swigCPtr;
  protected transient boolean swigCMemOwn;

  public CpSatHelper(long cPtr, boolean cMemoryOwn) {
    swigCMemOwn = cMemoryOwn;
    swigCPtr = cPtr;
  }

  protected static long getCPtr(CpSatHelper obj) {
    return (obj == null) ? 0 : obj.swigCPtr;
  }

  @SuppressWarnings("deprecation")
  protected void finalize() {
    delete();
  }

  public synchronized void delete() {
    if (swigCPtr != 0) {
      if (swigCMemOwn) {
        swigCMemOwn = false;
        mainJNI.delete_CpSatHelper(swigCPtr);
      }
      swigCPtr = 0;
    }
  }

  public static String modelStats(com.google.ortools.sat.CpModelProto model_proto) {
    return mainJNI.CpSatHelper_modelStats(model_proto.toByteArray());
  }

  public static String solverResponseStats(com.google.ortools.sat.CpSolverResponse response) {
    return mainJNI.CpSatHelper_solverResponseStats(response.toByteArray());
  }

  public static String validateModel(com.google.ortools.sat.CpModelProto model_proto) {
    return mainJNI.CpSatHelper_validateModel(model_proto.toByteArray());
  }

  public static Domain variableDomain(com.google.ortools.sat.IntegerVariableProto variable_proto) {
    return new Domain(mainJNI.CpSatHelper_variableDomain(variable_proto.toByteArray()), true);
  }

  public static boolean writeModelToFile(com.google.ortools.sat.CpModelProto model_proto, String filename) {
    return mainJNI.CpSatHelper_writeModelToFile(model_proto.toByteArray(), filename);
  }

  public CpSatHelper() {
    this(mainJNI.new_CpSatHelper(), true);
  }

}