Class mainJNI

java.lang.Object
com.google.ortools.sat.mainJNI
public class mainJNI extends Object

  • Constructor Details

    • mainJNI

      public mainJNI()

  • Method Details

    • delete_SolutionCallback

      public static final void delete_SolutionCallback(long jarg1)

    • SolutionCallback_onSolutionCallback

      public static final void SolutionCallback_onSolutionCallback(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_numBooleans

      public static final long SolutionCallback_numBooleans(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_numBranches

      public static final long SolutionCallback_numBranches(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_numConflicts

      public static final long SolutionCallback_numConflicts(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_numBinaryPropagations

      public static final long SolutionCallback_numBinaryPropagations(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_numIntegerPropagations

      public static final long SolutionCallback_numIntegerPropagations(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_wallTime

      public static final double SolutionCallback_wallTime(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_userTime

      public static final double SolutionCallback_userTime(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_objectiveValue

      public static final double SolutionCallback_objectiveValue(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_bestObjectiveBound

      public static final double SolutionCallback_bestObjectiveBound(long jarg1, SolutionCallback jarg1_)

    • SolutionCallback_solutionIntegerValue

      public static final long SolutionCallback_solutionIntegerValue(long jarg1, SolutionCallback jarg1_, int jarg2)

    • SolutionCallback_solutionBooleanValue

      public static final boolean SolutionCallback_solutionBooleanValue(long jarg1, SolutionCallback jarg1_, int jarg2)

    • SolutionCallback_stopSearch

      public static final void SolutionCallback_stopSearch(long jarg1, SolutionCallback jarg1_)

    • new_SolutionCallback

      public static final long new_SolutionCallback()

    • SolutionCallback_director_connect

      public static final void SolutionCallback_director_connect(SolutionCallback obj, long cptr, boolean mem_own, boolean weak_global)

    • SolutionCallback_change_ownership

      public static final void SolutionCallback_change_ownership(SolutionCallback obj, long cptr, boolean take_or_release)

    • new_SolveWrapper

      public static final long new_SolveWrapper()

    • SolveWrapper_setParameters

      public static final void SolveWrapper_setParameters(long jarg1, SolveWrapper jarg1_, byte[] jarg2)

    • SolveWrapper_addSolutionCallback

      public static final void SolveWrapper_addSolutionCallback(long jarg1, SolveWrapper jarg1_, long jarg2, SolutionCallback jarg2_)

    • SolveWrapper_clearSolutionCallback

      public static final void SolveWrapper_clearSolutionCallback(long jarg1, SolveWrapper jarg1_, long jarg2, SolutionCallback jarg2_)

    • SolveWrapper_addLogCallback

      public static final void SolveWrapper_addLogCallback(long jarg1, SolveWrapper jarg1_, Consumer<String> jarg2)

    • SolveWrapper_addBestBoundCallback

      public static final void SolveWrapper_addBestBoundCallback(long jarg1, SolveWrapper jarg1_, Consumer<Double> jarg2)

    • SolveWrapper_solve

      public static final byte[] SolveWrapper_solve(long jarg1, SolveWrapper jarg1_, byte[] jarg2)

    • SolveWrapper_stopSearch

      public static final void SolveWrapper_stopSearch(long jarg1, SolveWrapper jarg1_)

    • delete_SolveWrapper

      public static final void delete_SolveWrapper(long jarg1)

    • CpSatHelper_modelStats

      public static final String CpSatHelper_modelStats(byte[] jarg1)

    • CpSatHelper_solverResponseStats

      public static final String CpSatHelper_solverResponseStats(byte[] jarg1)

    • CpSatHelper_validateModel

      public static final String CpSatHelper_validateModel(byte[] jarg1)

    • CpSatHelper_variableDomain

      public static final long CpSatHelper_variableDomain(byte[] jarg1)

    • CpSatHelper_writeModelToFile

      public static final boolean CpSatHelper_writeModelToFile(byte[] jarg1, String jarg2)

    • new_CpSatHelper

      public static final long new_CpSatHelper()

    • delete_CpSatHelper

      public static final void delete_CpSatHelper(long jarg1)

    • SwigDirector_SolutionCallback_onSolutionCallback

      public static void SwigDirector_SolutionCallback_onSolutionCallback(SolutionCallback jself)