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 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 final void	mainJNI.Decision_apply(long jarg1, Decision jarg1_, long jarg2, Solver jarg2_)
static final void	mainJNI.Decision_refute(long jarg1, Decision jarg1_, long jarg2, Solver jarg2_)
static final long	mainJNI.DecisionBuilder_nextWrap(long jarg1, DecisionBuilder jarg1_, long jarg2, Solver jarg2_)
static final void	mainJNI.Demon_desinhibit(long jarg1, Demon jarg1_, long jarg2, Solver jarg2_)
static final void	mainJNI.Demon_inhibit(long jarg1, Demon jarg1_, long jarg2, Solver jarg2_)
static final 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.
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 final long	mainJNI.new_Assignment__SWIG_0(long jarg1, Solver jarg1_)
static final long	mainJNI.new_ImprovementSearchLimit__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, boolean jarg3, double jarg4, double jarg5, double jarg6, int jarg7)
static final long	mainJNI.new_ImprovementSearchLimit__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, double[] jarg4, double[] jarg5, double jarg6, int jarg7)
static final long	mainJNI.new_ObjectiveMonitor(long jarg1, Solver jarg1_, long jarg2, IntVar[] jarg3, long[] jarg4)
static final long	mainJNI.new_OptimizeVar__SWIG_0(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4)
static final long	mainJNI.new_OptimizeVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntVar[] jarg3, long[] jarg4)
static final long	mainJNI.new_Pack(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static final long	mainJNI.new_PropagationBaseObject(long jarg1, Solver jarg1_)
static final long	mainJNI.new_RegularLimit(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static final long	mainJNI.new_SearchLog(long jarg1, Solver jarg1_, IntVar[] jarg2, String jarg3, double[] jarg4, double[] jarg5, Supplier<String> jarg6, boolean jarg7, int jarg8)
static final long	mainJNI.new_SearchMonitor(long jarg1, Solver jarg1_)
static final long	mainJNI.new_SequenceVar(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, String jarg4)
static final long	mainJNI.new_SolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final 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.
final 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 final void	mainJNI.RevBool_setValue(long jarg1, RevBool jarg1_, long jarg2, Solver jarg2_, boolean jarg3)
static final void	mainJNI.RevInteger_setValue(long jarg1, RevInteger jarg1_, long jarg2, Solver jarg2_, int jarg3)
static final void	mainJNI.RevLong_setValue(long jarg1, RevLong jarg1_, long jarg2, Solver jarg2_, long jarg3)
static final void	mainJNI.RevPartialSequence_rankFirst(long jarg1, RevPartialSequence jarg1_, long jarg2, Solver jarg2_, int jarg3)
static final 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 final void	mainJNI.Solver_accept(long jarg1, Solver jarg1_, long jarg2, ModelVisitor jarg2_)
static final long	mainJNI.Solver_acceptedNeighbors(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_addCastConstraint(long jarg1, Solver jarg1_, long jarg2, CastConstraint jarg2_, long jarg3, IntVar jarg3_, long jarg4, IntExpr jarg4_)
static final void	mainJNI.Solver_addConstraint(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static final void	mainJNI.Solver_addLocalSearchMonitor(long jarg1, Solver jarg1_, long jarg2, LocalSearchMonitor jarg2_)
static final void	mainJNI.Solver_addPropagationMonitor(long jarg1, Solver jarg1_, long jarg2, PropagationMonitor jarg2_)
static final long	mainJNI.Solver_balancing_decision(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_branches(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_cache(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_castExpression(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_)
static final boolean	mainJNI.Solver_checkAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final boolean	mainJNI.Solver_checkConstraint(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static final void	mainJNI.Solver_checkFail(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_clear_fail_intercept(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_ClearLocalSearchState(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_ClearNeighbors(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_compose__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_)
static final long	mainJNI.Solver_compose__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_)
static final 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 final long	mainJNI.Solver_compose__SWIG_3(long jarg1, Solver jarg1_, DecisionBuilder[] jarg2)
static final long	mainJNI.Solver_concatenateOperators__SWIG_0(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2)
static final long	mainJNI.Solver_concatenateOperators__SWIG_1(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, boolean jarg3)
static final long	mainJNI.Solver_concatenateOperators__SWIG_2(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, IntIntToLongFunction jarg3)
static final long	mainJNI.Solver_const_parameters(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_constraints(long jarg1, Solver jarg1_)
static final String	mainJNI.Solver_context(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_currentlyInSolve(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_demon_runs(long jarg1, Solver jarg1_, int jarg2)
static final void	mainJNI.Solver_endSearch(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_exportProfilingOverview(long jarg1, Solver jarg1_, String jarg2)
static final void	mainJNI.Solver_fail(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_fail_stamp(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_failures(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_filteredNeighbors(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_finishCurrentSearch(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_GetGuidedLocalSearchPenalty(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4)
static final long	mainJNI.Solver_getLocalSearchMonitor(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_GetOrCreateLocalSearchState(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_getPropagationMonitor(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_hasName(long jarg1, Solver jarg1_, long jarg2, PropagationBaseObject jarg2_)
static final void	mainJNI.Solver_IncrementNeighbors(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_instrumentsDemons(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_instrumentsVariables(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_isLocalSearchProfilingEnabled(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_isProfilingEnabled(long jarg1, Solver jarg1_)
static final String	mainJNI.Solver_localSearchProfile(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeAbs(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static final long	mainJNI.Solver_makeAbsEquality(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_MakeAcceptFilter(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeAllDifferent__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeAllDifferent__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, boolean jarg3)
static final long	mainJNI.Solver_makeAllDifferentExcept(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static final long	mainJNI.Solver_makeAllowedAssignment(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_)
static final long	mainJNI.Solver_makeAllSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeAllSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeAssignment__SWIG_0(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeAssignment__SWIG_1(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeAssignVariablesValues(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static final long	mainJNI.Solver_MakeAssignVariablesValuesOrDoNothing(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static final long	mainJNI.Solver_MakeAssignVariablesValuesOrFail(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static final long	mainJNI.Solver_makeAssignVariableValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_MakeAssignVariableValueOrDoNothing(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeAssignVariableValueOrFail(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeAtSolutionCallback(long jarg1, Solver jarg1_, Runnable jarg2)
static final long	mainJNI.Solver_MakeBestLexicographicValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3)
static final long	mainJNI.Solver_MakeBestLexicographicValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeBestValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, boolean jarg3)
static final long	mainJNI.Solver_makeBestValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, boolean jarg2)
static final long	mainJNI.Solver_makeBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeBoolVar__SWIG_0(long jarg1, Solver jarg1_, String jarg2)
static final long	mainJNI.Solver_makeBoolVar__SWIG_1(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeBranchesLimit(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeCircuit(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeClosureDemon(long jarg1, Solver jarg1_, Runnable jarg2)
static final long	mainJNI.Solver_makeConditionalExpression(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntExpr jarg3_, long jarg4)
static final long	mainJNI.Solver_makeConstantRestart(long jarg1, Solver jarg1_, int jarg2)
static final long	mainJNI.Solver_makeConstraintAdder(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static final long	mainJNI.Solver_makeConstraintInitialPropagateCallback(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static final long	mainJNI.Solver_makeConvexPiecewiseExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, long jarg5, long jarg6)
static final long	mainJNI.Solver_makeCount__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeCount__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeCover(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long jarg3, IntervalVar jarg3_)
static final long	mainJNI.Solver_makeCumulative__SWIG_0(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long[] jarg3, long jarg4, String jarg5)
static final long	mainJNI.Solver_makeCumulative__SWIG_1(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int[] jarg3, long jarg4, String jarg5)
static final long	mainJNI.Solver_makeCumulative__SWIG_2(long jarg1, Solver jarg1_, IntervalVar[] jarg2, long[] jarg3, long jarg4, IntVar jarg4_, String jarg5)
static final long	mainJNI.Solver_makeCumulative__SWIG_3(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int[] jarg3, long jarg4, IntVar jarg4_, String jarg5)
static final long	mainJNI.Solver_makeCumulative__SWIG_4(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, long jarg4, String jarg5)
static final long	mainJNI.Solver_makeCumulative__SWIG_5(long jarg1, Solver jarg1_, IntervalVar[] jarg2, IntVar[] jarg3, long jarg4, IntVar jarg4_, String jarg5)
static final long	mainJNI.Solver_makeCustomLimit(long jarg1, Solver jarg1_, BooleanSupplier jarg2)
static final long	mainJNI.Solver_makeDecision(long jarg1, Solver jarg1_, Consumer<Solver> jarg2, Consumer<Solver> jarg3)
static final long	mainJNI.Solver_makeDecisionBuilderFromAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, DecisionBuilder jarg3_, IntVar[] jarg4)
static final long	mainJNI.Solver_makeDefaultPhase__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeDefaultPhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, DefaultPhaseParameters jarg3_)
static final byte[]	mainJNI.Solver_makeDefaultRegularLimitParameters(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeDefaultSolutionPool(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeDelayedConstraintInitialPropagateCallback(long jarg1, Solver jarg1_, long jarg2, Constraint jarg2_)
static final long	mainJNI.Solver_makeDelayedPathCumul(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static final long	mainJNI.Solver_makeDeviation(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static final long	mainJNI.Solver_makeDifference__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeDifference__SWIG_1(long jarg1, Solver jarg1_, long jarg2, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeDisjunctiveConstraint(long jarg1, Solver jarg1_, IntervalVar[] jarg2, String jarg3)
static final long	mainJNI.Solver_makeDistribute__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, IntVar[] jarg4)
static final long	mainJNI.Solver_makeDistribute__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, IntVar[] jarg4)
static final long	mainJNI.Solver_makeDistribute__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeDistribute__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeDistribute__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4)
static final long	mainJNI.Solver_makeDistribute__SWIG_5(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, int[] jarg4)
static final long	mainJNI.Solver_makeDistribute__SWIG_6(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5)
static final long	mainJNI.Solver_makeDistribute__SWIG_7(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, int[] jarg4, int[] jarg5)
static final long	mainJNI.Solver_makeDiv__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeDiv__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeElement__SWIG_0(long jarg1, Solver jarg1_, long[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeElement__SWIG_1(long jarg1, Solver jarg1_, int[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeElement__SWIG_2(long jarg1, Solver jarg1_, LongUnaryOperator jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeElement__SWIG_3(long jarg1, Solver jarg1_, LongBinaryOperator jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeElement__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeElementEquality__SWIG_0(long jarg1, Solver jarg1_, long[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeElementEquality__SWIG_1(long jarg1, Solver jarg1_, int[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeElementEquality__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeElementEquality__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static final long	mainJNI.Solver_makeEnterSearchCallback(long jarg1, Solver jarg1_, Runnable jarg2)
static final long	mainJNI.Solver_makeEquality__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeEquality__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeEquality__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeEquality__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_)
static final long	mainJNI.Solver_makeExitSearchCallback(long jarg1, Solver jarg1_, Runnable jarg2)
static final long	mainJNI.Solver_makeFailDecision(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeFailuresLimit(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeFalseConstraint__SWIG_0(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeFalseConstraint__SWIG_1(long jarg1, Solver jarg1_, String jarg2)
static final long	mainJNI.Solver_makeFirstSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeFirstSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeFixedDurationEndSyncedOnEndIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeFixedDurationEndSyncedOnStartIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, boolean jarg5, String jarg6)
static final long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, String jarg4)
static final long	mainJNI.Solver_makeFixedDurationIntervalVar__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, long jarg4, IntVar jarg4_, String jarg5)
static final long	mainJNI.Solver_makeFixedDurationStartSyncedOnEndIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeFixedDurationStartSyncedOnStartIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeFixedInterval(long jarg1, Solver jarg1_, long jarg2, long jarg3, String jarg4)
static final long	mainJNI.Solver_makeGenericTabuSearch(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4, IntVar[] jarg5, long jarg6)
static final long	mainJNI.Solver_makeGreater__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeGreater__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeGreater__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeGreaterOrEqual__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeGreaterOrEqual__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeGreaterOrEqual__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final 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 final long	mainJNI.Solver_MakeImprovementLimit(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, boolean jarg3, double jarg4, double jarg5, double jarg6, int jarg7)
static final long	mainJNI.Solver_makeIndexExpression(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static final long	mainJNI.Solver_makeIndexOfConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_, long jarg4)
static final long	mainJNI.Solver_makeIndexOfFirstMaxValueConstraint(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static final long	mainJNI.Solver_makeIndexOfFirstMinValueConstraint(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static final long	mainJNI.Solver_makeIntConst__SWIG_0(long jarg1, Solver jarg1_, long jarg2, String jarg3)
static final long	mainJNI.Solver_makeIntConst__SWIG_1(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeIntervalRelaxedMax(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static final long	mainJNI.Solver_makeIntervalRelaxedMin(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static final long	mainJNI.Solver_makeIntervalVar(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, long jarg6, long jarg7, boolean jarg8, String jarg9)
static final long	mainJNI.Solver_makeIntervalVarRelation__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4)
static final long	mainJNI.Solver_makeIntervalVarRelation__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4, IntervalVar jarg4_)
static final long	mainJNI.Solver_makeIntervalVarRelationWithDelay(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, int jarg3, long jarg4, IntervalVar jarg4_, long jarg5)
static final long	mainJNI.Solver_makeIntVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, String jarg4)
static final long	mainJNI.Solver_makeIntVar__SWIG_1(long jarg1, Solver jarg1_, long[] jarg2, String jarg3)
static final long	mainJNI.Solver_makeIntVar__SWIG_2(long jarg1, Solver jarg1_, int[] jarg2, String jarg3)
static final long	mainJNI.Solver_makeIntVar__SWIG_3(long jarg1, Solver jarg1_, long jarg2, long jarg3)
static final long	mainJNI.Solver_makeIntVar__SWIG_4(long jarg1, Solver jarg1_, long[] jarg2)
static final long	mainJNI.Solver_makeIntVar__SWIG_5(long jarg1, Solver jarg1_, int[] jarg2)
static final long	mainJNI.Solver_makeInversePermutationConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeIsBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, long jarg5, IntVar jarg5_)
static final long	mainJNI.Solver_makeIsBetweenVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeIsDifferentCstCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsDifferentCstCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsDifferentCstVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsDifferentCstVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeIsEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsEqualVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsEqualVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeIsGreaterCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsGreaterCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsGreaterCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsGreaterOrEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsGreaterOrEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsGreaterOrEqualCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsGreaterOrEqualVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeIsGreaterVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeIsLessCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsLessCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsLessCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsLessOrEqualCstCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsLessOrEqualCstVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeIsLessOrEqualCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsLessOrEqualVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeIsLessVar(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_MakeIsLexicalLessOrEqualWithOffsetsCt(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long[] jarg4, long jarg5, IntVar jarg5_)
static final long	mainJNI.Solver_makeIsMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeIsMemberVar__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static final long	mainJNI.Solver_makeIsMemberVar__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static final long	mainJNI.Solver_makeLastSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeLastSolutionCollector__SWIG_1(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeLess__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeLess__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeLess__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeLessOrEqual__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeLessOrEqual__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeLessOrEqual__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeLexicalLess(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeLexicalLessOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_MakeLexicalLessOrEqualWithOffsets(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long[] jarg4)
static final long	mainJNI.Solver_MakeLexicographicImprovementLimit(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, double[] jarg4, double[] jarg5, double jarg6, int jarg7)
static final long	mainJNI.Solver_MakeLexicographicOptimize(long jarg1, Solver jarg1_, long jarg2, IntVar[] jarg3, long[] jarg4)
static final long	mainJNI.Solver_MakeLexicographicSimulatedAnnealing(long jarg1, Solver jarg1_, long jarg2, IntVar[] jarg3, long[] jarg4, long[] jarg5)
static final long	mainJNI.Solver_MakeLexicographicTabuSearch(long jarg1, Solver jarg1_, long jarg2, IntVar[] jarg3, long[] jarg4, IntVar[] jarg5, long jarg6, long jarg7, double jarg8)
static final long	mainJNI.Solver_makeLimit__SWIG_0(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static final long	mainJNI.Solver_makeLimit__SWIG_1(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6)
static final long	mainJNI.Solver_makeLimit__SWIG_2(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeLimit__SWIG_3(long jarg1, Solver jarg1_, byte[] jarg2)
static final long	mainJNI.Solver_makeLimit__SWIG_4(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6, boolean jarg7)
static final long	mainJNI.Solver_makeLimit__SWIG_5(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5, boolean jarg6)
static final long	mainJNI.Solver_makeLimit__SWIG_6(long jarg1, Solver jarg1_, long jarg2, long jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeLimit__SWIG_7(long jarg1, Solver jarg1_, long jarg2, SearchLimit jarg2_, long jarg3, SearchLimit jarg3_)
static final long	mainJNI.Solver_makeLocalSearchPhase__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, LocalSearchPhaseParameters jarg3_)
static final long	mainJNI.Solver_makeLocalSearchPhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, DecisionBuilder jarg3_, long jarg4, LocalSearchPhaseParameters jarg4_)
static final 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 final long	mainJNI.Solver_makeLocalSearchPhase__SWIG_3(long jarg1, Solver jarg1_, SequenceVar[] jarg2, long jarg3, DecisionBuilder jarg3_, long jarg4, LocalSearchPhaseParameters jarg4_)
static final long	mainJNI.Solver_makeLocalSearchPhaseParameters__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, LocalSearchOperator jarg3_, long jarg4, DecisionBuilder jarg4_)
static final 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 final 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 final 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 final 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 final 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 final long	mainJNI.Solver_makeLubyRestart(long jarg1, Solver jarg1_, int jarg2)
static final long	mainJNI.Solver_makeMapDomain(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, IntVar[] jarg3)
static final long	mainJNI.Solver_makeMax__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeMax__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeMax__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeMax__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeMaxEquality(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeMaximize(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static final long	mainJNI.Solver_makeMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static final long	mainJNI.Solver_makeMin__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeMin__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeMin__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeMin__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeMinEquality(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeMinimize(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeMirrorInterval(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static final long	mainJNI.Solver_makeModulo__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeModulo__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeMonotonicElement(long jarg1, Solver jarg1_, LongUnaryOperator jarg2, boolean jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeMoveTowardTargetOperator__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeMoveTowardTargetOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static final long	mainJNI.Solver_MakeNBestLexicographicValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, int jarg3, long jarg4)
static final long	mainJNI.Solver_MakeNBestLexicographicValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, int jarg2, long jarg3)
static final long	mainJNI.Solver_makeNBestValueSolutionCollector__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, int jarg3, boolean jarg4)
static final long	mainJNI.Solver_makeNBestValueSolutionCollector__SWIG_1(long jarg1, Solver jarg1_, int jarg2, boolean jarg3)
static final long	mainJNI.Solver_makeNeighborhoodLimit(long jarg1, Solver jarg1_, long jarg2, LocalSearchOperator jarg2_, long jarg3)
static final long	mainJNI.Solver_makeNestedOptimize__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, Assignment jarg3_, boolean jarg4, long jarg5)
static final 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 final 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 final 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 final 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 final 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 final long	mainJNI.Solver_makeNoCycle__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongPredicate jarg4)
static final long	mainJNI.Solver_makeNoCycle__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeNoCycle__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongPredicate jarg4, boolean jarg5)
static final long	mainJNI.Solver_makeNonEquality__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeNonEquality__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeNonEquality__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int jarg3)
static final long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static final long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeNonOverlappingBoxesConstraint__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static final long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeNonOverlappingNonStrictBoxesConstraint__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeNotBetweenCt(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeNotMemberCt__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3)
static final long	mainJNI.Solver_makeNotMemberCt__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3)
static final long	mainJNI.Solver_makeNotMemberCt__SWIG_2(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long[] jarg3, long[] jarg4)
static final long	mainJNI.Solver_makeNotMemberCt__SWIG_3(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, int[] jarg3, int[] jarg4)
static final long	mainJNI.Solver_makeNullIntersect(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeNullIntersectExcept(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeOperator__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, long jarg4)
static final long	mainJNI.Solver_makeOperator__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static final long	mainJNI.Solver_makeOperator__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int jarg4, long jarg5, long jarg6)
static final long	mainJNI.Solver_makeOperator__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int jarg4, long jarg5)
static final long	mainJNI.Solver_makeOperator__SWIG_5(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, int jarg4)
static final long	mainJNI.Solver_makeOperator__SWIG_6(long jarg1, Solver jarg1_, IntVar[] jarg2, LongTernaryOperator jarg3, int jarg4)
static final long	mainJNI.Solver_makeOperator__SWIG_7(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongTernaryOperator jarg4, int jarg5)
static final long	mainJNI.Solver_makeOpposite(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static final long	mainJNI.Solver_makeOptimize(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4)
static final long	mainJNI.Solver_makePack(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static final long	mainJNI.Solver_makePathConnected(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long[] jarg4, IntVar[] jarg5)
static final long	mainJNI.Solver_makePathCumul__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5)
static final long	mainJNI.Solver_makePathCumul__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, LongBinaryOperator jarg5)
static final long	mainJNI.Solver_makePathCumul__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, IntVar[] jarg4, IntVar[] jarg5, LongBinaryOperator jarg6)
static final long	mainJNI.Solver_makePhase__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, int jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, LongUnaryOperator jarg3, int jarg4)
static final 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 final long	mainJNI.Solver_makePhase__SWIG_11(long jarg1, Solver jarg1_, IntVar[] jarg2, LongBinaryOperator jarg3, int jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_12(long jarg1, Solver jarg1_, IntVar[] jarg2, LongBinaryOperator jarg3, LongUnaryOperator jarg4, int jarg5)
static final long	mainJNI.Solver_makePhase__SWIG_13(long jarg1, Solver jarg1_, IntervalVar[] jarg2, int jarg3)
static final long	mainJNI.Solver_makePhase__SWIG_14(long jarg1, Solver jarg1_, SequenceVar[] jarg2, int jarg3)
static final long	mainJNI.Solver_makePhase__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, LongBinaryOperator jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, LongTernaryPredicate jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_4(long jarg1, Solver jarg1_, IntVar[] jarg2, LongUnaryOperator jarg3, LongBinaryOperator jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_5(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, LongBinaryOperator jarg4, LongUnaryOperator jarg5)
static final long	mainJNI.Solver_makePhase__SWIG_6(long jarg1, Solver jarg1_, IntVar[] jarg2, LongUnaryOperator jarg3, LongBinaryOperator jarg4, LongUnaryOperator jarg5)
static final long	mainJNI.Solver_makePhase__SWIG_7(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, int jarg3, int jarg4)
static final long	mainJNI.Solver_makePhase__SWIG_8(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, IntVar jarg3_, int jarg4, int jarg5)
static final 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 final long	mainJNI.Solver_makePower(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makePrintModelVisitor(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeProd__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeProd__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_MakeProfiledDecisionBuilderWrapper(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static final long	mainJNI.Solver_makeRandomLnsOperator__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3)
static final long	mainJNI.Solver_makeRandomLnsOperator__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int jarg3, int jarg4)
static final long	mainJNI.Solver_makeRankFirstInterval(long jarg1, Solver jarg1_, long jarg2, SequenceVar jarg2_, int jarg3)
static final long	mainJNI.Solver_makeRankLastInterval(long jarg1, Solver jarg1_, long jarg2, SequenceVar jarg2_, int jarg3)
static final long	mainJNI.Solver_MakeRejectFilter(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeRestoreAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_MakeRoundRobinCompoundObjectiveMonitor(long jarg1, Solver jarg1_, long jarg2, int jarg3)
static final long	mainJNI.Solver_makeScalProd__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3)
static final long	mainJNI.Solver_makeScalProd__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3)
static final long	mainJNI.Solver_makeScalProdEquality__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScalProdEquality__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScalProdEquality__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeScalProdEquality__SWIG_3(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeScalProdGreaterOrEqual__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScalProdGreaterOrEqual__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScalProdLessOrEqual__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScalProdLessOrEqual__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeScheduleOrExpedite(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeScheduleOrPostpone(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeSearchLog__SWIG_0(long jarg1, Solver jarg1_, int jarg2)
static final long	mainJNI.Solver_makeSearchLog__SWIG_1(long jarg1, Solver jarg1_, int jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeSearchLog__SWIG_2(long jarg1, Solver jarg1_, int jarg2, Supplier<String> jarg3)
static final long	mainJNI.Solver_makeSearchLog__SWIG_3(long jarg1, Solver jarg1_, int jarg2, long jarg3, IntVar jarg3_, Supplier<String> jarg4)
static final long	mainJNI.Solver_makeSearchLog__SWIG_4(long jarg1, Solver jarg1_, int jarg2, IntVar[] jarg3, Supplier<String> jarg4)
static final long	mainJNI.Solver_makeSearchLog__SWIG_5(long jarg1, Solver jarg1_, int jarg2, long jarg3, OptimizeVar jarg3_)
static final long	mainJNI.Solver_makeSearchLog__SWIG_6(long jarg1, Solver jarg1_, int jarg2, long jarg3, OptimizeVar jarg3_, Supplier<String> jarg4)
static final long	mainJNI.Solver_makeSearchTrace(long jarg1, Solver jarg1_, String jarg2)
static final long	mainJNI.Solver_makeSemiContinuousExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, long jarg4)
static final long	mainJNI.Solver_makeSimulatedAnnealing(long jarg1, Solver jarg1_, boolean jarg2, long jarg3, IntVar jarg3_, long jarg4, long jarg5)
static final long	mainJNI.Solver_makeSolutionsLimit(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeSolveOnce__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static final long	mainJNI.Solver_makeSolveOnce__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static final long	mainJNI.Solver_makeSolveOnce__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static final 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 final 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 final long	mainJNI.Solver_makeSolveOnce__SWIG_5(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static final long	mainJNI.Solver_makeSortingConstraint(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3)
static final long	mainJNI.Solver_makeSplitVariableDomain(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3, boolean jarg4)
static final long	mainJNI.Solver_makeSquare(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static final long	mainJNI.Solver_makeStatisticsModelVisitor(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeStoreAssignment(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_)
static final long	mainJNI.Solver_makeStrictDisjunctiveConstraint(long jarg1, Solver jarg1_, IntervalVar[] jarg2, String jarg3)
static final long	mainJNI.Solver_makeSubCircuit(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeSum__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3, IntExpr jarg3_)
static final long	mainJNI.Solver_makeSum__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_, long jarg3)
static final long	mainJNI.Solver_makeSum__SWIG_2(long jarg1, Solver jarg1_, IntVar[] jarg2)
static final long	mainJNI.Solver_makeSumEquality__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static final long	mainJNI.Solver_makeSumEquality__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntVar jarg3_)
static final long	mainJNI.Solver_makeSumGreaterOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static final long	mainJNI.Solver_makeSumLessOrEqual(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3)
static final long	mainJNI.Solver_makeSumObjectiveFilter__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, LongBinaryOperator jarg3, int jarg4)
static final long	mainJNI.Solver_makeSumObjectiveFilter__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, IntVar[] jarg3, LongTernaryOperator jarg4, int jarg5)
static final long	mainJNI.Solver_makeSymmetryManager__SWIG_0(long jarg1, Solver jarg1_, SymmetryBreaker[] jarg2)
static final long	mainJNI.Solver_makeSymmetryManager__SWIG_1(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_)
static final long	mainJNI.Solver_makeSymmetryManager__SWIG_2(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_, long jarg3, SymmetryBreaker jarg3_)
static final long	mainJNI.Solver_makeSymmetryManager__SWIG_3(long jarg1, Solver jarg1_, long jarg2, SymmetryBreaker jarg2_, long jarg3, SymmetryBreaker jarg3_, long jarg4, SymmetryBreaker jarg4_)
static final 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 final 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 final long	mainJNI.Solver_makeTemporalDisjunction__SWIG_0(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_, long jarg4, IntVar jarg4_)
static final long	mainJNI.Solver_makeTemporalDisjunction__SWIG_1(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_, long jarg3, IntervalVar jarg3_)
static final long	mainJNI.Solver_makeTimeLimit__SWIG_0(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeTimeLimit__SWIG_1(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_makeTransitionConstraint__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_, long jarg4, long[] jarg5)
static final long	mainJNI.Solver_makeTransitionConstraint__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, long jarg3, IntTupleSet jarg3_, long jarg4, int[] jarg5)
static final long	mainJNI.Solver_makeTrueConstraint(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeVariableDomainFilter(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_makeVariableGreaterOrEqualValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeVariableLessOrEqualValue(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_, long jarg3)
static final long	mainJNI.Solver_makeWeightedMaximize__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeWeightedMaximize__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeWeightedMinimize__SWIG_0(long jarg1, Solver jarg1_, IntVar[] jarg2, long[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeWeightedMinimize__SWIG_1(long jarg1, Solver jarg1_, IntVar[] jarg2, int[] jarg3, long jarg4)
static final long	mainJNI.Solver_makeWeightedOptimize__SWIG_0(long jarg1, Solver jarg1_, boolean jarg2, IntVar[] jarg3, long[] jarg4, long jarg5)
static final long	mainJNI.Solver_makeWeightedOptimize__SWIG_1(long jarg1, Solver jarg1_, boolean jarg2, IntVar[] jarg3, int[] jarg4, long jarg5)
static final String	mainJNI.Solver_model_name(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_MultiArmedBanditConcatenateOperators(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, double jarg3, double jarg4, boolean jarg5)
static final boolean	mainJNI.Solver_nameAllVariables(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_neighbors(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_newSearch__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static final void	mainJNI.Solver_newSearch__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static final void	mainJNI.Solver_newSearch__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static final void	mainJNI.Solver_newSearch__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static final 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 final 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 final boolean	mainJNI.Solver_nextSolution(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_optimization_direction(long jarg1, Solver jarg1_)
static final byte[]	mainJNI.Solver_parameters(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_popState(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_pushState(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_rand32(long jarg1, Solver jarg1_, int jarg2)
static final long	mainJNI.Solver_rand64(long jarg1, Solver jarg1_, long jarg2)
static final long	mainJNI.Solver_randomConcatenateOperators__SWIG_0(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2)
static final long	mainJNI.Solver_randomConcatenateOperators__SWIG_1(long jarg1, Solver jarg1_, LocalSearchOperator[] jarg2, int jarg3)
static final long	mainJNI.Solver_registerDemon(long jarg1, Solver jarg1_, long jarg2, Demon jarg2_)
static final long	mainJNI.Solver_registerIntervalVar(long jarg1, Solver jarg1_, long jarg2, IntervalVar jarg2_)
static final long	mainJNI.Solver_registerIntExpr(long jarg1, Solver jarg1_, long jarg2, IntExpr jarg2_)
static final long	mainJNI.Solver_registerIntVar(long jarg1, Solver jarg1_, long jarg2, IntVar jarg2_)
static final void	mainJNI.Solver_reSeed(long jarg1, Solver jarg1_, int jarg2)
static final void	mainJNI.Solver_restartCurrentSearch(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_restartSearch(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_RunUncheckedLocalSearch__SWIG_0(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, LocalSearchFilterManager jarg3_, long jarg4, LocalSearchOperator jarg4_, SearchMonitor[] jarg5, long jarg6, RegularLimit jarg6_, long jarg7)
static final long	mainJNI.Solver_RunUncheckedLocalSearch__SWIG_1(long jarg1, Solver jarg1_, long jarg2, Assignment jarg2_, long jarg3, LocalSearchFilterManager jarg3_, long jarg4, LocalSearchOperator jarg4_, SearchMonitor[] jarg5, long jarg6, RegularLimit jarg6_)
static final int	mainJNI.Solver_searchDepth(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_searchLeftDepth(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_set_context(long jarg1, Solver jarg1_, String jarg2)
static final void	mainJNI.Solver_set_optimization_direction(long jarg1, Solver jarg1_, int jarg2)
static final void	mainJNI.Solver_SetGuidedLocalSearchPenaltyCallback(long jarg1, Solver jarg1_, LongTernaryOperator jarg2)
static final void	mainJNI.Solver_SetUseFastLocalSearch(long jarg1, Solver jarg1_, boolean jarg2)
static final void	mainJNI.Solver_shouldFail(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_solutions(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_solve__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static final boolean	mainJNI.Solver_solve__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static final boolean	mainJNI.Solver_solve__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static final boolean	mainJNI.Solver_solve__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static final 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 final 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 final boolean	mainJNI.Solver_solveAndCommit__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, SearchMonitor[] jarg3)
static final boolean	mainJNI.Solver_solveAndCommit__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_)
static final boolean	mainJNI.Solver_solveAndCommit__SWIG_2(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_)
static final boolean	mainJNI.Solver_solveAndCommit__SWIG_3(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, SearchMonitor jarg3_, long jarg4, SearchMonitor jarg4_)
static final 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 final int	mainJNI.Solver_solveDepth(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_stamp(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_state(long jarg1, Solver jarg1_)
static final long[]	mainJNI.Solver_tmpVector_get(long jarg1, Solver jarg1_)
static final void	mainJNI.Solver_tmpVector_set(long jarg1, Solver jarg1_, long[] jarg2)
static final void	mainJNI.Solver_topPeriodicCheck(long jarg1, Solver jarg1_)
static final int	mainJNI.Solver_topProgressPercent(long jarg1, Solver jarg1_)
static final String	mainJNI.Solver_toString(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_tryDecisions__SWIG_0(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_)
static final long	mainJNI.Solver_tryDecisions__SWIG_1(long jarg1, Solver jarg1_, long jarg2, DecisionBuilder jarg2_, long jarg3, DecisionBuilder jarg3_, long jarg4, DecisionBuilder jarg4_)
static final 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 final long	mainJNI.Solver_tryDecisions__SWIG_3(long jarg1, Solver jarg1_, DecisionBuilder[] jarg2)
static final long	mainJNI.Solver_unchecked_solutions(long jarg1, Solver jarg1_)
static final boolean	mainJNI.Solver_UseFastLocalSearch(long jarg1, Solver jarg1_)
static final long	mainJNI.Solver_wallTime(long jarg1, Solver jarg1_)
static long	Solver.swigRelease(Solver obj)

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

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

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

Modifier	Constructor	Description
	Assignment(Solver solver)
	ImprovementSearchLimit(Solver solver, IntVar[] objective_vars, SWIGTYPE_p_std__vectorT_bool_t maximize, double[] objective_scaling_factors, double[] objective_offsets, double improvement_rate_coefficient, int improvement_rate_solutions_distance)
	ImprovementSearchLimit(Solver solver, IntVar objective_var, boolean maximize, double objective_scaling_factor, double objective_offset, double improvement_rate_coefficient, int improvement_rate_solutions_distance)
	ObjectiveMonitor(Solver solver, SWIGTYPE_p_std__vectorT_bool_t maximize, IntVar[] vars, long[] steps)
	OptimizeVar(Solver solver, boolean maximize, IntVar var, long step)
	OptimizeVar(Solver solver, SWIGTYPE_p_std__vectorT_bool_t maximize, IntVar[] vars, long[] steps)
	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 solver, IntVar[] vars, String vars_name, double[] scaling_factors, double[] offsets, Supplier<String> display_callback, boolean display_on_new_solutions_only, int period)
	SearchMonitor(Solver s)
	SequenceVar(Solver s, IntervalVar[] intervals, IntVar[] nexts, String name)
	SolutionCollector(Solver solver)
	SolutionCollector(Solver solver, Assignment assignment)