| Package | Description |
|---|---|
| com.google.ortools.constraintsolver |
| Modifier and Type | Class and Description |
|---|---|
class |
BaseObjectiveMonitor |
class |
ImprovementSearchLimit |
class |
LocalSearchMonitor |
class |
ObjectiveMonitor |
class |
OptimizeVar
This class encapsulates an objective.
|
class |
PropagationMonitor |
class |
RegularLimit
Usual limit based on wall_time, number of explored branches and
number of failures in the search tree |
class |
SearchLimit
Base class of all search limits.
|
class |
SearchLog
The base class of all search logs that periodically outputs information when
the search is running. |
class |
SolutionCollector
This class is the root class of all solution collectors.
|
| Modifier and Type | Method and Description |
|---|---|
SearchMonitor |
Solver.makeAtSolutionCallback(java.lang.Runnable callback) |
SearchMonitor |
Solver.makeConstantRestart(int frequency)
This search monitor will restart the search periodically after 'frequency'
failures. |
SearchMonitor |
Solver.makeEnterSearchCallback(java.lang.Runnable callback)
----- Callback-based search monitors -----
|
SearchMonitor |
Solver.makeExitSearchCallback(java.lang.Runnable callback) |
SearchMonitor |
Solver.makeLubyRestart(int scale_factor)
This search monitor will restart the search periodically.
|
SearchMonitor |
Solver.makeSearchLog(int branch_period)
The SearchMonitors below will display a periodic search log
on LOG(INFO) every branch_period branches explored. |
SearchMonitor |
Solver.makeSearchLog(int branch_period,
IntVar var)
At each solution, this monitor also display the var value.
|
SearchMonitor |
Solver.makeSearchLog(int branch_period,
IntVar[] vars,
java.util.function.Supplier<java.lang.String> display_callback)
At each solution, this monitor will display the 'vars' values and the
result of display_callback. |
SearchMonitor |
Solver.makeSearchLog(int branch_period,
IntVar var,
java.util.function.Supplier<java.lang.String> display_callback)
At each solution, this monitor will display the 'var' value and the
result of display_callback. |
SearchMonitor |
Solver.makeSearchLog(int branch_period,
OptimizeVar opt_var)
OptimizeVar Search Logs
At each solution, this monitor will also display the 'opt_var' value. |
SearchMonitor |
Solver.makeSearchLog(int branch_period,
OptimizeVar opt_var,
java.util.function.Supplier<java.lang.String> display_callback)
Creates a search monitor that will also print the result of the
display callback. |
SearchMonitor |
Solver.makeSearchLog(int branch_period,
java.util.function.Supplier<java.lang.String> display_callback)
At each solution, this monitor will also display result of
display_callback. |
SearchMonitor |
Solver.makeSearchTrace(java.lang.String prefix)
Creates a search monitor that will trace precisely the behavior of the
search. |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker[] visitors)
Symmetry Breaking.
|
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2,
SymmetryBreaker v3) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2,
SymmetryBreaker v3,
SymmetryBreaker v4) |
| Modifier and Type | Method and Description |
|---|---|
void |
RoutingModel.addSearchMonitor(SearchMonitor monitor)
Adds a search monitor to the search used to solve the routing model.
|
static long |
SearchMonitor.getCPtr(SearchMonitor obj) |
DecisionBuilder |
Solver.makeNestedOptimize(DecisionBuilder db,
Assignment solution,
boolean maximize,
long step,
SearchMonitor monitor1) |
DecisionBuilder |
Solver.makeNestedOptimize(DecisionBuilder db,
Assignment solution,
boolean maximize,
long step,
SearchMonitor[] monitors) |
DecisionBuilder |
Solver.makeNestedOptimize(DecisionBuilder db,
Assignment solution,
boolean maximize,
long step,
SearchMonitor monitor1,
SearchMonitor monitor2) |
DecisionBuilder |
Solver.makeNestedOptimize(DecisionBuilder db,
Assignment solution,
boolean maximize,
long step,
SearchMonitor monitor1,
SearchMonitor monitor2,
SearchMonitor monitor3) |
DecisionBuilder |
Solver.makeNestedOptimize(DecisionBuilder db,
Assignment solution,
boolean maximize,
long step,
SearchMonitor monitor1,
SearchMonitor monitor2,
SearchMonitor monitor3,
SearchMonitor monitor4) |
DecisionBuilder |
Solver.makeSolveOnce(DecisionBuilder db,
SearchMonitor monitor1) |
DecisionBuilder |
Solver.makeSolveOnce(DecisionBuilder db,
SearchMonitor[] monitors) |
DecisionBuilder |
Solver.makeSolveOnce(DecisionBuilder db,
SearchMonitor monitor1,
SearchMonitor monitor2) |
DecisionBuilder |
Solver.makeSolveOnce(DecisionBuilder db,
SearchMonitor monitor1,
SearchMonitor monitor2,
SearchMonitor monitor3) |
DecisionBuilder |
Solver.makeSolveOnce(DecisionBuilder db,
SearchMonitor monitor1,
SearchMonitor monitor2,
SearchMonitor monitor3,
SearchMonitor monitor4) |
void |
Solver.newSearch(DecisionBuilder db,
SearchMonitor m1) |
void |
Solver.newSearch(DecisionBuilder db,
SearchMonitor[] monitors)
Decomposed search. |
void |
Solver.newSearch(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2) |
void |
Solver.newSearch(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2,
SearchMonitor m3) |
void |
Solver.newSearch(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2,
SearchMonitor m3,
SearchMonitor m4) |
static void |
mainJNI.RoutingModel_addSearchMonitor(long jarg1,
RoutingModel jarg1_,
long jarg2,
SearchMonitor jarg2_) |
Assignment |
Solver.RunUncheckedLocalSearch(Assignment initial_solution,
LocalSearchFilterManager filter_manager,
LocalSearchOperator ls_operator,
SearchMonitor[] monitors,
RegularLimit limit)
Experimental: runs a local search on the given initial solution, checking
the feasibility and the objective value of solutions using the filter manager only (solutions are never restored in the CP world). |
Assignment |
Solver.RunUncheckedLocalSearch(Assignment initial_solution,
LocalSearchFilterManager filter_manager,
LocalSearchOperator ls_operator,
SearchMonitor[] monitors,
RegularLimit limit,
SWIGTYPE_p_absl__flat_hash_setT_operations_research__IntVar_p_t touched)
Experimental: runs a local search on the given initial solution, checking
the feasibility and the objective value of solutions using the filter manager only (solutions are never restored in the CP world). |
static void |
mainJNI.SearchMonitor_accept(long jarg1,
SearchMonitor jarg1_,
long jarg2,
ModelVisitor jarg2_) |
static boolean |
mainJNI.SearchMonitor_acceptDelta(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Assignment jarg2_,
long jarg3,
Assignment jarg3_) |
static boolean |
mainJNI.SearchMonitor_acceptDeltaSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Assignment jarg2_,
long jarg3,
Assignment jarg3_) |
static void |
mainJNI.SearchMonitor_acceptNeighbor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_acceptNeighborSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_acceptSolution(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_acceptSolutionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_acceptSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
ModelVisitor jarg2_) |
static void |
mainJNI.SearchMonitor_AcceptUncheckedNeighbor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_AcceptUncheckedNeighborSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_afterDecision(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_,
boolean jarg3) |
static void |
mainJNI.SearchMonitor_afterDecisionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_,
boolean jarg3) |
static void |
mainJNI.SearchMonitor_applyDecision(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_) |
static void |
mainJNI.SearchMonitor_applyDecisionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_) |
static boolean |
mainJNI.SearchMonitor_atSolution(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_atSolutionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_beginFail(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_beginFailSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_beginInitialPropagation(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_beginInitialPropagationSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_beginNextDecision(long jarg1,
SearchMonitor jarg1_,
long jarg2,
DecisionBuilder jarg2_) |
static void |
mainJNI.SearchMonitor_beginNextDecisionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
DecisionBuilder jarg2_) |
static void |
mainJNI.SearchMonitor_change_ownership(SearchMonitor obj,
long cptr,
boolean take_or_release) |
static void |
mainJNI.SearchMonitor_director_connect(SearchMonitor obj,
long cptr,
boolean mem_own,
boolean weak_global) |
static void |
mainJNI.SearchMonitor_endFail(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_endFailSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_endInitialPropagation(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_endInitialPropagationSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_endNextDecision(long jarg1,
SearchMonitor jarg1_,
long jarg2,
DecisionBuilder jarg2_,
long jarg3,
Decision jarg3_) |
static void |
mainJNI.SearchMonitor_endNextDecisionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
DecisionBuilder jarg2_,
long jarg3,
Decision jarg3_) |
static void |
mainJNI.SearchMonitor_enterSearch(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_enterSearchSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_exitSearch(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_exitSearchSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_install(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_installSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_IsUncheckedSolutionLimitReached(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_IsUncheckedSolutionLimitReachedSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_localOptimum(long jarg1,
SearchMonitor jarg1_) |
static boolean |
mainJNI.SearchMonitor_localOptimumSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_noMoreSolutions(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_noMoreSolutionsSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_periodicCheck(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_periodicCheckSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static int |
mainJNI.SearchMonitor_progressPercent(long jarg1,
SearchMonitor jarg1_) |
static int |
mainJNI.SearchMonitor_progressPercentSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_refuteDecision(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_) |
static void |
mainJNI.SearchMonitor_refuteDecisionSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_,
long jarg2,
Decision jarg2_) |
static void |
mainJNI.SearchMonitor_restartSearch(long jarg1,
SearchMonitor jarg1_) |
static void |
mainJNI.SearchMonitor_restartSearchSwigExplicitSearchMonitor(long jarg1,
SearchMonitor jarg1_) |
static long |
mainJNI.SearchMonitor_solver(long jarg1,
SearchMonitor jarg1_) |
boolean |
Solver.solve(DecisionBuilder db,
SearchMonitor m1) |
boolean |
Solver.solve(DecisionBuilder db,
SearchMonitor[] monitors)
Solves the problem using the given DecisionBuilder and returns true if a solution was found and accepted. |
boolean |
Solver.solve(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2) |
boolean |
Solver.solve(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2,
SearchMonitor m3) |
boolean |
Solver.solve(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2,
SearchMonitor m3,
SearchMonitor m4) |
boolean |
Solver.solveAndCommit(DecisionBuilder db,
SearchMonitor m1) |
boolean |
Solver.solveAndCommit(DecisionBuilder db,
SearchMonitor[] monitors)
SolveAndCommit using a decision builder and up to three search monitors, usually one for the objective, one for the limits and one to collect solutions. |
boolean |
Solver.solveAndCommit(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2) |
boolean |
Solver.solveAndCommit(DecisionBuilder db,
SearchMonitor m1,
SearchMonitor m2,
SearchMonitor m3) |
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_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 void |
mainJNI.Solver_newSearch__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
DecisionBuilder jarg2_,
SearchMonitor[] jarg3) |
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 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 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 boolean |
mainJNI.Solver_solve__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
DecisionBuilder jarg2_,
SearchMonitor[] jarg3) |
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_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 void |
mainJNI.SwigDirector_SearchMonitor_accept(SearchMonitor jself,
long visitor) |
static boolean |
mainJNI.SwigDirector_SearchMonitor_acceptDelta(SearchMonitor jself,
long delta,
long deltadelta) |
static void |
mainJNI.SwigDirector_SearchMonitor_acceptNeighbor(SearchMonitor jself) |
static boolean |
mainJNI.SwigDirector_SearchMonitor_acceptSolution(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_AcceptUncheckedNeighbor(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_afterDecision(SearchMonitor jself,
long d,
boolean apply) |
static void |
mainJNI.SwigDirector_SearchMonitor_applyDecision(SearchMonitor jself,
long d) |
static boolean |
mainJNI.SwigDirector_SearchMonitor_atSolution(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_beginFail(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_beginInitialPropagation(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_beginNextDecision(SearchMonitor jself,
long b) |
static void |
mainJNI.SwigDirector_SearchMonitor_endFail(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_endInitialPropagation(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_endNextDecision(SearchMonitor jself,
long b,
long d) |
static void |
mainJNI.SwigDirector_SearchMonitor_enterSearch(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_exitSearch(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_install(SearchMonitor jself) |
static boolean |
mainJNI.SwigDirector_SearchMonitor_IsUncheckedSolutionLimitReached(SearchMonitor jself) |
static boolean |
mainJNI.SwigDirector_SearchMonitor_localOptimum(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_noMoreSolutions(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_periodicCheck(SearchMonitor jself) |
static int |
mainJNI.SwigDirector_SearchMonitor_progressPercent(SearchMonitor jself) |
static void |
mainJNI.SwigDirector_SearchMonitor_refuteDecision(SearchMonitor jself,
long d) |
static void |
mainJNI.SwigDirector_SearchMonitor_restartSearch(SearchMonitor jself) |
static java.lang.String |
mainJNI.SwigDirector_SearchMonitor_toString(SearchMonitor jself) |
static long |
SearchMonitor.swigRelease(SearchMonitor obj) |
Copyright © 2025. All rights reserved.