Package com.google.ortools.sat

Class mainJNI

java.lang.Object

com.google.ortools.sat.mainJNI

public class mainJNI
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
mainJNI()

Method Summary

Modifier and Type	Method	Description
static java.lang.String	CpSatHelper_modelStats(byte[] jarg1)
static java.lang.String	CpSatHelper_solverResponseStats(byte[] jarg1)
static java.lang.String	CpSatHelper_validateModel(byte[] jarg1)
static long	CpSatHelper_variableDomain(byte[] jarg1)
static boolean	CpSatHelper_writeModelToFile(byte[] jarg1, java.lang.String jarg2)
static void	delete_CpSatHelper(long jarg1)
static void	delete_SolutionCallback(long jarg1)
static void	delete_SolveWrapper(long jarg1)
static long	new_CpSatHelper()
static long	new_SolutionCallback()
static long	new_SolveWrapper()
static double	SolutionCallback_bestObjectiveBound(long jarg1, SolutionCallback jarg1_)
static void	SolutionCallback_change_ownership(SolutionCallback obj, long cptr, boolean take_or_release)
static void	SolutionCallback_director_connect(SolutionCallback obj, long cptr, boolean mem_own, boolean weak_global)
static long	SolutionCallback_numBinaryPropagations(long jarg1, SolutionCallback jarg1_)
static long	SolutionCallback_numBooleans(long jarg1, SolutionCallback jarg1_)
static long	SolutionCallback_numBranches(long jarg1, SolutionCallback jarg1_)
static long	SolutionCallback_numConflicts(long jarg1, SolutionCallback jarg1_)
static long	SolutionCallback_numIntegerPropagations(long jarg1, SolutionCallback jarg1_)
static double	SolutionCallback_objectiveValue(long jarg1, SolutionCallback jarg1_)
static void	SolutionCallback_onSolutionCallback(long jarg1, SolutionCallback jarg1_)
static boolean	SolutionCallback_solutionBooleanValue(long jarg1, SolutionCallback jarg1_, int jarg2)
static long	SolutionCallback_solutionIntegerValue(long jarg1, SolutionCallback jarg1_, int jarg2)
static void	SolutionCallback_stopSearch(long jarg1, SolutionCallback jarg1_)
static double	SolutionCallback_userTime(long jarg1, SolutionCallback jarg1_)
static double	SolutionCallback_wallTime(long jarg1, SolutionCallback jarg1_)
static void	SolveWrapper_addLogCallback(long jarg1, SolveWrapper jarg1_, java.util.function.Consumer<java.lang.String> jarg2)
static void	SolveWrapper_addSolutionCallback(long jarg1, SolveWrapper jarg1_, long jarg2, SolutionCallback jarg2_)
static void	SolveWrapper_clearSolutionCallback(long jarg1, SolveWrapper jarg1_, long jarg2, SolutionCallback jarg2_)
static void	SolveWrapper_setParameters(long jarg1, SolveWrapper jarg1_, byte[] jarg2)
static byte[]	SolveWrapper_solve(long jarg1, SolveWrapper jarg1_, byte[] jarg2)
static void	SolveWrapper_stopSearch(long jarg1, SolveWrapper jarg1_)
static void	SwigDirector_SolutionCallback_onSolutionCallback(SolutionCallback jself)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

mainJNI

public mainJNI()

Method Detail

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)

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_,
                                                     java.util.function.Consumer<java.lang.String> 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_)

new_SolveWrapper

public static final long new_SolveWrapper()

delete_SolveWrapper

public static final void delete_SolveWrapper(long jarg1)

CpSatHelper_modelStats

public static final java.lang.String CpSatHelper_modelStats(byte[] jarg1)

CpSatHelper_solverResponseStats

public static final java.lang.String CpSatHelper_solverResponseStats(byte[] jarg1)

CpSatHelper_validateModel

public static final java.lang.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,
                                                         java.lang.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)