• Home
• com.panavis.open-source
• google-or-tools
• 7.8
• source code
• mainJNI.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.google.ortools.sat.mainJNI Maven / Gradle / Ivy

/* ----------------------------------------------------------------------------
 * 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.
 * ----------------------------------------------------------------------------- */

package com.google.ortools.sat;

public class mainJNI {
  public final static native void delete_SolutionCallback(long jarg1);
  public final static native void SolutionCallback_onSolutionCallback(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_numBooleans(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_numBranches(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_numConflicts(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_numBinaryPropagations(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_numIntegerPropagations(long jarg1, SolutionCallback jarg1_);
  public final static native double SolutionCallback_wallTime(long jarg1, SolutionCallback jarg1_);
  public final static native double SolutionCallback_userTime(long jarg1, SolutionCallback jarg1_);
  public final static native double SolutionCallback_objectiveValue(long jarg1, SolutionCallback jarg1_);
  public final static native double SolutionCallback_bestObjectiveBound(long jarg1, SolutionCallback jarg1_);
  public final static native long SolutionCallback_solutionIntegerValue(long jarg1, SolutionCallback jarg1_, int jarg2);
  public final static native boolean SolutionCallback_solutionBooleanValue(long jarg1, SolutionCallback jarg1_, int jarg2);
  public final static native void SolutionCallback_stopSearch(long jarg1, SolutionCallback jarg1_);
  public final static native long new_SolutionCallback();
  public final static native void SolutionCallback_director_connect(SolutionCallback obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void SolutionCallback_change_ownership(SolutionCallback obj, long cptr, boolean take_or_release);
  public final static native byte[] SatHelper_solve(byte[] jarg1);
  public final static native byte[] SatHelper_solveWithParameters(byte[] jarg1, byte[] jarg2);
  public final static native byte[] SatHelper_solveWithParametersAndSolutionCallback(byte[] jarg1, byte[] jarg2, long jarg3, SolutionCallback jarg3_);
  public final static native String SatHelper_modelStats(byte[] jarg1);
  public final static native String SatHelper_solverResponseStats(byte[] jarg1);
  public final static native String SatHelper_validateModel(byte[] jarg1);
  public final static native long SatHelper_variableDomain(byte[] jarg1);
  public final static native long new_SatHelper();
  public final static native void delete_SatHelper(long jarg1);

  public static void SwigDirector_SolutionCallback_onSolutionCallback(SolutionCallback jself) {
    jself.onSolutionCallback();
  }

  private final static native void swig_module_init();
  static {
    swig_module_init();
  }
}