Uses of Class
com.google.ortools.constraintsolver.Solver

Packages that use Solver

Package	Description
com.google.ortools.constraintsolver

Uses of Solver in com.google.ortools.constraintsolver

Methods in com.google.ortools.constraintsolver that return Solver

Modifier and Type	Method	Description
Solver	ModelCache.solver()
Solver	PropagationBaseObject.solver()
Solver	RoutingModel.solver()	Returns a vector cumul_bounds, for which cumul_bounds[i][j] is a pair containing the minimum and maximum of the CumulVar of the jth node on route i. - cumul_bounds[i][j].first is the minimum. - cumul_bounds[i][j].second is the maximum. Returns the underlying constraint solver.
Solver	SearchMonitor.solver()

Methods in com.google.ortools.constraintsolver with parameters of type Solver

Modifier and Type	Method	Description
void	Decision.apply(Solver s)	Apply will be called first when the decision is executed.
static void	mainJNI.Decision_apply(long jarg1, Decision jarg1_, long jarg2, Solver jarg2_)
static void	mainJNI.Decision_refute(long jarg1, Decision jarg1_, long jarg2, Solver jarg2_)
static long	mainJNI.DecisionBuilder_nextWrap(long jarg1, DecisionBuilder jarg1_, long jarg2, Solver jarg2_)
static void	mainJNI.Demon_desinhibit(long jarg1, Demon jarg1_, long jarg2, Solver jarg2_)
static void	mainJNI.Demon_inhibit(long jarg1, Demon jarg1_, long jarg2, Solver jarg2_)
static void	mainJNI.Demon_run(long jarg1, Demon jarg1_, long jarg2, Solver jarg2_)
void	Demon.desinhibit(Solver s)	This method un-inhibits the demon that was previously inhibited.
protected static long	Solver.getCPtr(Solver obj)
void	Demon.inhibit(Solver s)	This method inhibits the demon in the search tree below the current position.
static DecisionBuilder	main.makeSetValuesFromTargets(Solver solver, IntVar[] variables, long[] targets)	A decision builder which tries to assign values to variables as close as possible to target values first.
static long	mainJNI.makeSetValuesFromTargets(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static long	mainJNI.new_Assignment__SWIG_0(long jarg1, Solver jarg1_)
static long	mainJNI.new_ImprovementSearchLimit(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, boolean jarg3, double jarg4, double jarg5, double jarg6, int jarg7)
static long	mainJNI.new_OptimizeVar(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4)
static long	mainJNI.new_Pack(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static long	mainJNI.new_PropagationBaseObject(long jarg1, Solver jarg1_)
static long	mainJNI.new_RegularLimit(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static long	mainJNI.new_SearchLog(long jarg1, Solver jarg1_, long jarg2, OptimizeVar jarg2_, long jarg3, IntVar jarg3_, double jarg4, double jarg5, java.util.function.Supplier<java.lang.String> jarg6, boolean jarg7, int jarg8)
static long	mainJNI.new_SearchMonitor(long jarg1, Solver jarg1_)
static long	mainJNI.new_SequenceVar(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, java.lang.String jarg4)
static long	mainJNI.new_SolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.new_SolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
Decision	JavaDecisionBuilder.next(Solver solver)	This is the new method to subclass when defining a java decision builder.
Decision	DecisionBuilder.nextWrap(Solver s)	This is the main method of the decision builder class.
Decision	JavaDecisionBuilder.nextWrap(Solver solver)	This methods wraps the calls to next() and catches fail exceptions.
void	RevPartialSequence.rankFirst(Solver solver, int elt)
void	RevPartialSequence.rankLast(Solver solver, int elt)
void	Decision.refute(Solver s)	Refute will be called after a backtrack.
static void	mainJNI.RevBool_setValue(long jarg1, RevBool jarg1_, long jarg2, Solver jarg2_, boolean jarg3)
static void	mainJNI.RevInteger_setValue(long jarg1, RevInteger jarg1_, long jarg2, Solver jarg2_, int jarg3)
static void	mainJNI.RevLong_setValue(long jarg1, RevLong jarg1_, long jarg2, Solver jarg2_, long jarg3)
static void	mainJNI.RevPartialSequence_rankFirst(long jarg1, RevPartialSequence jarg1_, long jarg2, Solver jarg2_, int jarg3)
static void	mainJNI.RevPartialSequence_rankLast(long jarg1, RevPartialSequence jarg1_, long jarg2, Solver jarg2_, int jarg3)
void	Demon.run(Solver s)	This is the main callback of the demon.
void	RevBool.setValue(Solver s, boolean val)
void	RevInteger.setValue(Solver s, int val)
void	RevLong.setValue(Solver s, long val)
static void	mainJNI.Solver_accept(long jarg1, Solver jarg1_, long jarg2, ModelVisitor jarg2_)
static long	mainJNI.Solver_acceptedNeighbors(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_addCastConstraint(long jarg1, Solver jarg1_, long jarg2, CastConstraint jarg2_, long jarg3, IntVar jarg3_, long jarg4, IntExpr jarg4_)
static void	mainJNI.Solver_addConstraint(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static void	mainJNI.Solver_addLocalSearchMonitor(long jarg1, Solver jarg1_, long jarg2, LocalSearchMonitor jarg2_)
static void	mainJNI.Solver_addPropagationMonitor(long jarg1, Solver jarg1_, long jarg2, PropagationMonitor jarg2_)
static long	mainJNI.Solver_balancing_decision(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_branches(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_cache(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_castExpression(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_)
static boolean	mainJNI.Solver_checkAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static boolean	mainJNI.Solver_checkConstraint(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static void	mainJNI.Solver_checkFail(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_clear_fail_intercept(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_ClearLocalSearchState(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_compose__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_)
static long	mainJNI.Solver_compose__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_)
static long	mainJNI.Solver_compose__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_, long jarg5, DecisionBuilder jarg5_)
static long	mainJNI.Solver_compose__SWIG_3(long jarg1, Solver jarg1_, DecisionBuilder[] jarg2)
static long	mainJNI.Solver_concatenateOperators__SWIG_0(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2)
static long	mainJNI.Solver_concatenateOperators__SWIG_1(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, boolean jarg3)
static long	mainJNI.Solver_concatenateOperators__SWIG_2(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, IntIntToLongFunction jarg3)
static int	mainJNI.Solver_constraints(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_currentlyInSolve(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_demon_runs(long jarg1, Solver jarg1_, int jarg2)
static void	mainJNI.Solver_endSearch(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_exportProfilingOverview(long jarg1, Solver jarg1_, java.lang.String jarg2)
static void	mainJNI.Solver_fail(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_fail_stamp(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_failures(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_filteredNeighbors(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_finishCurrentSearch(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_getLocalSearchMonitor(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_GetOrCreateLocalSearchState(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_getPropagationMonitor(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_hasName(long jarg1, Solver jarg1_, long jarg2, PropagationBaseObject jarg2_)
static boolean	mainJNI.Solver_instrumentsDemons(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_instrumentsVariables(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_isLocalSearchProfilingEnabled(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_isProfilingEnabled(long jarg1, Solver jarg1_)
static java.lang.String	mainJNI.Solver_localSearchProfile(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeAbs(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static long	mainJNI.Solver_makeAbsEquality(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_MakeAcceptFilter(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeAllDifferent__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeAllDifferent__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, boolean jarg3)
static long	mainJNI.Solver_makeAllDifferentExcept(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static long	mainJNI.Solver_makeAllowedAssignment(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_)
static long	mainJNI.Solver_makeAllSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeAllSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeAssignment__SWIG_0(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeAssignment__SWIG_1(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeAssignVariablesValues(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static long	mainJNI.Solver_makeAssignVariableValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_MakeAssignVariableValueOrDoNothing(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeAssignVariableValueOrFail(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeAtSolutionCallback(long jarg1, Solver jarg1_, java.lang.Runnable jarg2)
static long	mainJNI.Solver_makeBestValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, boolean jarg3)
static long	mainJNI.Solver_makeBestValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, boolean jarg2)
static long	mainJNI.Solver_makeBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeBoolVar__SWIG_0(long jarg1, Solver jarg1_, java.lang.String jarg2)
static long	mainJNI.Solver_makeBoolVar__SWIG_1(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeBranchesLimit(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeCircuit(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeClosureDemon(long jarg1, Solver jarg1_, java.lang.Runnable jarg2)
static long	mainJNI.Solver_makeConditionalExpression(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntExpr jarg3_, long jarg4)
static long	mainJNI.Solver_makeConstantRestart(long jarg1, Solver jarg1_, int jarg2)
static long	mainJNI.Solver_makeConstraintAdder(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static long	mainJNI.Solver_makeConstraintInitialPropagateCallback(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static long	mainJNI.Solver_makeConvexPiecewiseExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, long jarg5, long jarg6)
static long	mainJNI.Solver_makeCount__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4)
static long	mainJNI.Solver_makeCount__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeCover(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long jarg3, IntervalVar jarg3_)
static long	mainJNI.Solver_makeCumulative__SWIG_0(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long[] jarg3, long jarg4, java.lang.String jarg5)
static long	mainJNI.Solver_makeCumulative__SWIG_1(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int[] jarg3, long jarg4, java.lang.String jarg5)
static long	mainJNI.Solver_makeCumulative__SWIG_2(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long[] jarg3, long jarg4, IntVar jarg4_, java.lang.String jarg5)
static long	mainJNI.Solver_makeCumulative__SWIG_3(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int[] jarg3, long jarg4, IntVar jarg4_, java.lang.String jarg5)
static long	mainJNI.Solver_makeCumulative__SWIG_4(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, long jarg4, java.lang.String jarg5)
static long	mainJNI.Solver_makeCumulative__SWIG_5(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, long jarg4, IntVar jarg4_, java.lang.String jarg5)
static long	mainJNI.Solver_makeCustomLimit(long jarg1, Solver jarg1_, java.util.function.BooleanSupplier jarg2)
static long	mainJNI.Solver_makeDecision(long jarg1, Solver jarg1_, java.util.function.Consumer<Solver> jarg2, java.util.function.Consumer<Solver> jarg3)
static long	mainJNI.Solver_makeDecisionBuilderFromAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, DecisionBuilder jarg3_, IntVar[] jarg4)
static long	mainJNI.Solver_makeDefaultPhase__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeDefaultPhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, DefaultPhaseParameters jarg3_)
static byte[]	mainJNI.Solver_makeDefaultRegularLimitParameters(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeDefaultSolutionPool(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeDelayedConstraintInitialPropagateCallback(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static long	mainJNI.Solver_makeDelayedPathCumul(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static long	mainJNI.Solver_makeDeviation(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static long	mainJNI.Solver_makeDifference__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeDifference__SWIG_1(long jarg1, Solver jarg1_, long jarg2, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeDisjunctiveConstraint(long jarg1, Solver jarg1_, IntervalVar[] jarg2, java.lang.String jarg3)
static long	mainJNI.Solver_makeDistribute__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, IntVar[] jarg4)
static long	mainJNI.Solver_makeDistribute__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, IntVar[] jarg4)
static long	mainJNI.Solver_makeDistribute__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeDistribute__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4, long jarg5)
static long	mainJNI.Solver_makeDistribute__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4)
static long	mainJNI.Solver_makeDistribute__SWIG_5(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, int[] jarg4)
static long	mainJNI.Solver_makeDistribute__SWIG_6(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5)
static long	mainJNI.Solver_makeDistribute__SWIG_7(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, int[] jarg4, int[] jarg5)
static long	mainJNI.Solver_makeDiv__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeDiv__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeElement__SWIG_0(long jarg1, Solver jarg1_, long[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeElement__SWIG_1(long jarg1, Solver jarg1_, int[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeElement__SWIG_2(long jarg1, Solver jarg1_, java.util.function.LongUnaryOperator jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeElement__SWIG_3(long jarg1, Solver jarg1_, java.util.function.LongBinaryOperator jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeElement__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeElementEquality__SWIG_0(long jarg1, Solver jarg1_, long[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeElementEquality__SWIG_1(long jarg1, Solver jarg1_, int[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeElementEquality__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeElementEquality__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static long	mainJNI.Solver_makeEnterSearchCallback(long jarg1, Solver jarg1_, java.lang.Runnable jarg2)
static long	mainJNI.Solver_makeEquality__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeEquality__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeEquality__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeEquality__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_)
static long	mainJNI.Solver_makeExitSearchCallback(long jarg1, Solver jarg1_, java.lang.Runnable jarg2)
static long	mainJNI.Solver_makeFailDecision(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeFailuresLimit(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeFalseConstraint__SWIG_0(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeFalseConstraint__SWIG_1(long jarg1, Solver jarg1_, java.lang.String jarg2)
static long	mainJNI.Solver_makeFirstSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeFirstSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeFixedDurationEndSyncedOnEndIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeFixedDurationEndSyncedOnStartIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, boolean jarg5, java.lang.String jarg6)
static long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, java.lang.String jarg4)
static long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, long jarg4, IntVar jarg4_, java.lang.String jarg5)
static long	mainJNI.Solver_makeFixedDurationStartSyncedOnEndIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeFixedDurationStartSyncedOnStartIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeFixedInterval(long jarg1, Solver jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
static long	mainJNI.Solver_makeGenericTabuSearch(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar[] jarg5, long jarg6)
static long	mainJNI.Solver_makeGreater__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeGreater__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeGreater__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeGreaterOrEqual__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeGreaterOrEqual__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeGreaterOrEqual__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeGuidedLocalSearch__SWIG_0(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, java.util.function.LongBinaryOperator jarg4, long jarg5, IntVar[] jarg6, double jarg7)
static long	mainJNI.Solver_makeGuidedLocalSearch__SWIG_1(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, LongTernaryOperator jarg4, long jarg5, IntVar[] jarg6, IntVar[] jarg7, double jarg8)
static long	mainJNI.Solver_makeIfThenElseCt(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntExpr jarg4_, long jarg5, IntVar jarg5_)
static long	mainJNI.Solver_MakeImprovementLimit(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, boolean jarg3, double jarg4, double jarg5, double jarg6, int jarg7)
static long	mainJNI.Solver_makeIndexExpression(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static long	mainJNI.Solver_makeIndexOfConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static long	mainJNI.Solver_makeIndexOfFirstMaxValueConstraint(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static long	mainJNI.Solver_makeIndexOfFirstMinValueConstraint(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static long	mainJNI.Solver_makeIntConst__SWIG_0(long jarg1, Solver jarg1_, long jarg2, java.lang.String jarg3)
static long	mainJNI.Solver_makeIntConst__SWIG_1(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeIntervalRelaxedMax(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static long	mainJNI.Solver_makeIntervalRelaxedMin(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static long	mainJNI.Solver_makeIntervalVar(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, long jarg6, long jarg7, boolean jarg8, java.lang.String jarg9)
static long	mainJNI.Solver_makeIntervalVarRelation__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4)
static long	mainJNI.Solver_makeIntervalVarRelation__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4, IntervalVar jarg4_)
static long	mainJNI.Solver_makeIntervalVarRelationWithDelay(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4, IntervalVar jarg4_, long jarg5)
static long	mainJNI.Solver_makeIntVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
static long	mainJNI.Solver_makeIntVar__SWIG_1(long jarg1, Solver jarg1_, long[] jarg2, java.lang.String jarg3)
static long	mainJNI.Solver_makeIntVar__SWIG_2(long jarg1, Solver jarg1_, int[] jarg2, java.lang.String jarg3)
static long	mainJNI.Solver_makeIntVar__SWIG_3(long jarg1, Solver jarg1_, long jarg2, long jarg3)
static long	mainJNI.Solver_makeIntVar__SWIG_4(long jarg1, Solver jarg1_, long[] jarg2)
static long	mainJNI.Solver_makeIntVar__SWIG_5(long jarg1, Solver jarg1_, int[] jarg2)
static long	mainJNI.Solver_makeInversePermutationConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeIsBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, long jarg5, IntVar jarg5_)
static long	mainJNI.Solver_makeIsBetweenVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeIsDifferentCstCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsDifferentCstCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsDifferentCstVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsDifferentCstVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsEqualVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsEqualVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsGreaterCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsGreaterCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsGreaterCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsGreaterOrEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsGreaterOrEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsGreaterOrEqualCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsGreaterOrEqualVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsGreaterVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsLessCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsLessCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsLessCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsLessOrEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsLessOrEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeIsLessOrEqualCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsLessOrEqualVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsLessVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeIsMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeIsMemberVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static long	mainJNI.Solver_makeIsMemberVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static long	mainJNI.Solver_makeLastSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeLastSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeLess__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeLess__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeLess__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeLessOrEqual__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeLessOrEqual__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeLessOrEqual__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeLexicalLess(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeLexicalLessOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeLimit__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static long	mainJNI.Solver_makeLimit__SWIG_1(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6)
static long	mainJNI.Solver_makeLimit__SWIG_2(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5)
static long	mainJNI.Solver_makeLimit__SWIG_3(long jarg1, Solver jarg1_, byte[] jarg2)
static long	mainJNI.Solver_makeLimit__SWIG_4(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static long	mainJNI.Solver_makeLimit__SWIG_5(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6)
static long	mainJNI.Solver_makeLimit__SWIG_6(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5)
static long	mainJNI.Solver_makeLimit__SWIG_7(long jarg1, Solver jarg1_, long jarg2, SearchLimit jarg2_, long jarg3, SearchLimit jarg3_)
static long	mainJNI.Solver_makeLocalSearchPhase__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, LocalSearchPhaseParameters jarg3_)
static long	mainJNI.Solver_makeLocalSearchPhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, DecisionBuilder jarg3_, long jarg4, LocalSearchPhaseParameters jarg4_)
static long	mainJNI.Solver_makeLocalSearchPhase__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_, long jarg5, LocalSearchPhaseParameters jarg5_)
static long	mainJNI.Solver_makeLocalSearchPhase__SWIG_3(long jarg1, Solver jarg1_, SequenceVar[] jarg2, long jarg3, DecisionBuilder jarg3_, long jarg4, LocalSearchPhaseParameters jarg4_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, LocalSearchOperator jarg3_, long jarg4, DecisionBuilder jarg4_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, LocalSearchOperator jarg3_, long jarg4, DecisionBuilder jarg4_, long jarg5, RegularLimit jarg5_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, LocalSearchOperator jarg3_, long jarg4, DecisionBuilder jarg4_, long jarg5, RegularLimit jarg5_, long jarg6, LocalSearchFilterManager jarg6_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, SolutionPool jarg3_, long jarg4, LocalSearchOperator jarg4_, long jarg5, DecisionBuilder jarg5_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_4(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, SolutionPool jarg3_, long jarg4, LocalSearchOperator jarg4_, long jarg5, DecisionBuilder jarg5_, long jarg6, RegularLimit jarg6_)
static long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_5(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, SolutionPool jarg3_, long jarg4, LocalSearchOperator jarg4_, long jarg5, DecisionBuilder jarg5_, long jarg6, RegularLimit jarg6_, long jarg7, LocalSearchFilterManager jarg7_)
static long	mainJNI.Solver_makeLubyRestart(long jarg1, Solver jarg1_, int jarg2)
static long	mainJNI.Solver_makeMapDomain(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static long	mainJNI.Solver_makeMax__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeMax__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeMax__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeMax__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeMaxEquality(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeMaximize(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static long	mainJNI.Solver_makeMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static long	mainJNI.Solver_makeMin__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeMin__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeMin__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeMin__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeMinEquality(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeMinimize(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeMirrorInterval(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static long	mainJNI.Solver_makeModulo__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeModulo__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeMonotonicElement(long jarg1, Solver jarg1_, java.util.function.LongUnaryOperator jarg2, boolean jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeMoveTowardTargetOperator__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeMoveTowardTargetOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static long	mainJNI.Solver_makeNBestValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, int jarg3, boolean jarg4)
static long	mainJNI.Solver_makeNBestValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, int jarg2, boolean jarg3)
static long	mainJNI.Solver_makeNeighborhoodLimit(long jarg1, Solver jarg1_, long jarg2, LocalSearchOperator jarg2_, long jarg3)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5, long jarg6, SearchMonitor jarg6_)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5, long jarg6, SearchMonitor jarg6_, long jarg7, SearchMonitor jarg7_)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5, long jarg6, SearchMonitor jarg6_, long jarg7, SearchMonitor jarg7_, long jarg8, SearchMonitor jarg8_)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_4(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5, long jarg6, SearchMonitor jarg6_, long jarg7, SearchMonitor jarg7_, long jarg8, SearchMonitor jarg8_, long jarg9, SearchMonitor jarg9_)
static long	mainJNI.Solver_makeNestedOptimize__SWIG_5(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5, SearchMonitor[] jarg6)
static long	mainJNI.Solver_makeNoCycle__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, java.util.function.LongPredicate jarg4)
static long	mainJNI.Solver_makeNoCycle__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeNoCycle__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, java.util.function.LongPredicate jarg4, boolean jarg5)
static long	mainJNI.Solver_makeNonEquality__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeNonEquality__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeNonEquality__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long[] jarg4, long[] jarg5)
static long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int[] jarg4, int[] jarg5)
static long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long[] jarg4, long[] jarg5)
static long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int[] jarg4, int[] jarg5)
static long	mainJNI.Solver_makeNotBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeNotMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static long	mainJNI.Solver_makeNotMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static long	mainJNI.Solver_makeNotMemberCt__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3, long[] jarg4)
static long	mainJNI.Solver_makeNotMemberCt__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3, int[] jarg4)
static long	mainJNI.Solver_makeNullIntersect(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeNullIntersectExcept(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4)
static long	mainJNI.Solver_makeOperator__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static long	mainJNI.Solver_makeOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int jarg4)
static long	mainJNI.Solver_makeOperator__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, LongTernaryOperator jarg3, int jarg4)
static long	mainJNI.Solver_makeOperator__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongTernaryOperator jarg4, int jarg5)
static long	mainJNI.Solver_makeOpposite(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static long	mainJNI.Solver_makeOptimize(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4)
static long	mainJNI.Solver_makePack(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static long	mainJNI.Solver_makePathConnected(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4, IntVar[] jarg5)
static long	mainJNI.Solver_makePathCumul__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static long	mainJNI.Solver_makePathCumul__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, java.util.function.LongBinaryOperator jarg5)
static long	mainJNI.Solver_makePathCumul__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5, java.util.function.LongBinaryOperator jarg6)
static long	mainJNI.Solver_makePhase__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, int jarg4)
static long	mainJNI.Solver_makePhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongUnaryOperator jarg3, int jarg4)
static long	mainJNI.Solver_makePhase__SWIG_10(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_, long jarg5, IntVar jarg5_, int jarg6, int jarg7)
static long	mainJNI.Solver_makePhase__SWIG_11(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongBinaryOperator jarg3, int jarg4)
static long	mainJNI.Solver_makePhase__SWIG_12(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongBinaryOperator jarg3, java.util.function.LongUnaryOperator jarg4, int jarg5)
static long	mainJNI.Solver_makePhase__SWIG_13(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int jarg3)
static long	mainJNI.Solver_makePhase__SWIG_14(long jarg1, Solver jarg1_, SequenceVar[] jarg2, int jarg3)
static long	mainJNI.Solver_makePhase__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, java.util.function.LongBinaryOperator jarg4)
static long	mainJNI.Solver_makePhase__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, LongTernaryPredicate jarg4)
static long	mainJNI.Solver_makePhase__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongUnaryOperator jarg3, java.util.function.LongBinaryOperator jarg4)
static long	mainJNI.Solver_makePhase__SWIG_5(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, java.util.function.LongBinaryOperator jarg4, java.util.function.LongUnaryOperator jarg5)
static long	mainJNI.Solver_makePhase__SWIG_6(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongUnaryOperator jarg3, java.util.function.LongBinaryOperator jarg4, java.util.function.LongUnaryOperator jarg5)
static long	mainJNI.Solver_makePhase__SWIG_7(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, int jarg3, int jarg4)
static long	mainJNI.Solver_makePhase__SWIG_8(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_, int jarg4, int jarg5)
static long	mainJNI.Solver_makePhase__SWIG_9(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_, int jarg5, int jarg6)
static long	mainJNI.Solver_makePower(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makePrintModelVisitor(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeProd__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeProd__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeRandomLnsOperator__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static long	mainJNI.Solver_makeRandomLnsOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, int jarg4)
static long	mainJNI.Solver_makeRankFirstInterval(long jarg1, Solver jarg1_, long jarg2, SequenceVar jarg2_, int jarg3)
static long	mainJNI.Solver_makeRankLastInterval(long jarg1, Solver jarg1_, long jarg2, SequenceVar jarg2_, int jarg3)
static long	mainJNI.Solver_MakeRejectFilter(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeRestoreAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeScalProd__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static long	mainJNI.Solver_makeScalProd__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3)
static long	mainJNI.Solver_makeScalProdEquality__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScalProdEquality__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScalProdEquality__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeScalProdEquality__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeScalProdGreaterOrEqual__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScalProdGreaterOrEqual__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScalProdLessOrEqual__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScalProdLessOrEqual__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static long	mainJNI.Solver_makeScheduleOrExpedite(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, int[] jarg4)
static long	mainJNI.Solver_makeScheduleOrPostpone(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, int[] jarg4)
static long	mainJNI.Solver_makeSearchLog__SWIG_0(long jarg1, Solver jarg1_, int jarg2)
static long	mainJNI.Solver_makeSearchLog__SWIG_1(long jarg1, Solver jarg1_, int jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeSearchLog__SWIG_2(long jarg1, Solver jarg1_, int jarg2, java.util.function.Supplier<java.lang.String> jarg3)
static long	mainJNI.Solver_makeSearchLog__SWIG_3(long jarg1, Solver jarg1_, int jarg2, long jarg3, IntVar jarg3_, java.util.function.Supplier<java.lang.String> jarg4)
static long	mainJNI.Solver_makeSearchLog__SWIG_4(long jarg1, Solver jarg1_, int jarg2, long jarg3, OptimizeVar jarg3_)
static long	mainJNI.Solver_makeSearchLog__SWIG_5(long jarg1, Solver jarg1_, int jarg2, long jarg3, OptimizeVar jarg3_, java.util.function.Supplier<java.lang.String> jarg4)
static long	mainJNI.Solver_makeSearchTrace(long jarg1, Solver jarg1_, java.lang.String jarg2)
static long	mainJNI.Solver_makeSemiContinuousExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static long	mainJNI.Solver_makeSimulatedAnnealing(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4, long jarg5)
static long	mainJNI.Solver_makeSolutionsLimit(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeSolveOnce__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static long	mainJNI.Solver_makeSolveOnce__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static long	mainJNI.Solver_makeSolveOnce__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static long	mainJNI.Solver_makeSolveOnce__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_)
static long	mainJNI.Solver_makeSolveOnce__SWIG_4(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_, long jarg6, SearchMonitor jarg6_)
static long	mainJNI.Solver_makeSolveOnce__SWIG_5(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static long	mainJNI.Solver_makeSortingConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static long	mainJNI.Solver_makeSplitVariableDomain(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, boolean jarg4)
static long	mainJNI.Solver_makeSquare(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static long	mainJNI.Solver_makeStatisticsModelVisitor(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeStoreAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static long	mainJNI.Solver_makeStrictDisjunctiveConstraint(long jarg1, Solver jarg1_, IntervalVar[] jarg2, java.lang.String jarg3)
static long	mainJNI.Solver_makeSubCircuit(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeSum__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static long	mainJNI.Solver_makeSum__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static long	mainJNI.Solver_makeSum__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2)
static long	mainJNI.Solver_makeSumEquality__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static long	mainJNI.Solver_makeSumEquality__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static long	mainJNI.Solver_makeSumGreaterOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static long	mainJNI.Solver_makeSumLessOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static long	mainJNI.Solver_makeSumObjectiveFilter__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, java.util.function.LongBinaryOperator jarg3, int jarg4)
static long	mainJNI.Solver_makeSumObjectiveFilter__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongTernaryOperator jarg4, int jarg5)
static long	mainJNI.Solver_makeSymmetryManager__SWIG_0(long jarg1, Solver jarg1_, SymmetryBreaker[] jarg2)
static long	mainJNI.Solver_makeSymmetryManager__SWIG_1(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_)
static long	mainJNI.Solver_makeSymmetryManager__SWIG_2(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_, long jarg3, SymmetryBreaker jarg3_)
static long	mainJNI.Solver_makeSymmetryManager__SWIG_3(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_, long jarg3, SymmetryBreaker jarg3_, long jarg4, SymmetryBreaker jarg4_)
static long	mainJNI.Solver_makeSymmetryManager__SWIG_4(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_, long jarg3, SymmetryBreaker jarg3_, long jarg4, SymmetryBreaker jarg4_, long jarg5, SymmetryBreaker jarg5_)
static long	mainJNI.Solver_makeTabuSearch(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar[] jarg5, long jarg6, long jarg7, double jarg8)
static long	mainJNI.Solver_makeTemporalDisjunction__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_, long jarg4, IntVar jarg4_)
static long	mainJNI.Solver_makeTemporalDisjunction__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_)
static long	mainJNI.Solver_makeTimeLimit__SWIG_0(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeTimeLimit__SWIG_1(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_makeTransitionConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_, long jarg4, long[] jarg5)
static long	mainJNI.Solver_makeTransitionConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_, long jarg4, int[] jarg5)
static long	mainJNI.Solver_makeTrueConstraint(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeVariableDomainFilter(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_makeVariableGreaterOrEqualValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeVariableLessOrEqualValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static long	mainJNI.Solver_makeWeightedMaximize__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static long	mainJNI.Solver_makeWeightedMaximize__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static long	mainJNI.Solver_makeWeightedMinimize__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static long	mainJNI.Solver_makeWeightedMinimize__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static long	mainJNI.Solver_makeWeightedOptimize__SWIG_0(long jarg1, Solver jarg1_, boolean jarg2, IntVar[] jarg3, long[] jarg4, long jarg5)
static long	mainJNI.Solver_makeWeightedOptimize__SWIG_1(long jarg1, Solver jarg1_, boolean jarg2, IntVar[] jarg3, int[] jarg4, long jarg5)
static java.lang.String	mainJNI.Solver_model_name(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_MultiArmedBanditConcatenateOperators(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, double jarg3, double jarg4, boolean jarg5)
static boolean	mainJNI.Solver_nameAllVariables(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_neighbors(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_newSearch__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static void	mainJNI.Solver_newSearch__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static void	mainJNI.Solver_newSearch__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static void	mainJNI.Solver_newSearch__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static void	mainJNI.Solver_newSearch__SWIG_4(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_)
static void	mainJNI.Solver_newSearch__SWIG_5(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_, long jarg6, SearchMonitor jarg6_)
static boolean	mainJNI.Solver_nextSolution(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_optimization_direction(long jarg1, Solver jarg1_)
static byte[]	mainJNI.Solver_parameters(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_popState(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_pushState(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_rand32(long jarg1, Solver jarg1_, int jarg2)
static long	mainJNI.Solver_rand64(long jarg1, Solver jarg1_, long jarg2)
static long	mainJNI.Solver_randomConcatenateOperators__SWIG_0(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2)
static long	mainJNI.Solver_randomConcatenateOperators__SWIG_1(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, int jarg3)
static long	mainJNI.Solver_registerDemon(long jarg1, Solver jarg1_, long jarg2, Demon jarg2_)
static long	mainJNI.Solver_registerIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static long	mainJNI.Solver_registerIntExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static long	mainJNI.Solver_registerIntVar(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_)
static void	mainJNI.Solver_reSeed(long jarg1, Solver jarg1_, int jarg2)
static void	mainJNI.Solver_restartCurrentSearch(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_restartSearch(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_searchDepth(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_searchLeftDepth(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_set_optimization_direction(long jarg1, Solver jarg1_, int jarg2)
static void	mainJNI.Solver_SetUseFastLocalSearch(long jarg1, Solver jarg1_, boolean jarg2)
static void	mainJNI.Solver_shouldFail(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_solutions(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_solve__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static boolean	mainJNI.Solver_solve__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static boolean	mainJNI.Solver_solve__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static boolean	mainJNI.Solver_solve__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static boolean	mainJNI.Solver_solve__SWIG_4(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_)
static boolean	mainJNI.Solver_solve__SWIG_5(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_, long jarg6, SearchMonitor jarg6_)
static boolean	mainJNI.Solver_solveAndCommit__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static boolean	mainJNI.Solver_solveAndCommit__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static boolean	mainJNI.Solver_solveAndCommit__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static boolean	mainJNI.Solver_solveAndCommit__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static boolean	mainJNI.Solver_solveAndCommit__SWIG_4(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_, long jarg5, SearchMonitor jarg5_)
static int	mainJNI.Solver_solveDepth(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_stamp(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_state(long jarg1, Solver jarg1_)
static long[]	mainJNI.Solver_tmp_vector__get(long jarg1, Solver jarg1_)
static void	mainJNI.Solver_tmp_vector__set(long jarg1, Solver jarg1_, long[] jarg2)
static void	mainJNI.Solver_topPeriodicCheck(long jarg1, Solver jarg1_)
static int	mainJNI.Solver_topProgressPercent(long jarg1, Solver jarg1_)
static java.lang.String	mainJNI.Solver_toString(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_tryDecisions__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_)
static long	mainJNI.Solver_tryDecisions__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_)
static long	mainJNI.Solver_tryDecisions__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_, long jarg5, DecisionBuilder jarg5_)
static long	mainJNI.Solver_tryDecisions__SWIG_3(long jarg1, Solver jarg1_, DecisionBuilder[] jarg2)
static long	mainJNI.Solver_unchecked_solutions(long jarg1, Solver jarg1_)
static boolean	mainJNI.Solver_UseFastLocalSearch(long jarg1, Solver jarg1_)
static long	mainJNI.Solver_wallTime(long jarg1, Solver jarg1_)

Method parameters in com.google.ortools.constraintsolver with type arguments of type Solver

Modifier and Type	Method	Description
Decision	Solver.makeDecision(java.util.function.Consumer<Solver> apply, java.util.function.Consumer<Solver> refute)
static long	mainJNI.Solver_makeDecision(long jarg1, Solver jarg1_, java.util.function.Consumer<Solver> jarg2, java.util.function.Consumer<Solver> jarg3)

Constructors in com.google.ortools.constraintsolver with parameters of type Solver

Constructor	Description
Assignment(Solver s)
ImprovementSearchLimit(Solver s, IntVar objective_var, boolean maximize, double objective_scaling_factor, double objective_offset, double improvement_rate_coefficient, int improvement_rate_solutions_distance)
OptimizeVar(Solver s, boolean maximize, IntVar a, long step)
Pack(Solver s, IntVar[] vars, int number_of_bins)
PropagationBaseObject(Solver s)
RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative)
SearchLog(Solver s, OptimizeVar obj, IntVar var, double scaling_factor, double offset, java.util.function.Supplier<java.lang.String> display_callback, boolean display_on_new_solutions_only, int period)
SearchMonitor(Solver s)
SequenceVar(Solver s, IntervalVar[] intervals, IntVar[] nexts, java.lang.String name)
SolutionCollector(Solver solver)
SolutionCollector(Solver solver, Assignment assignment)