public class SearchMonitor extends BaseObject
Modifier and Type | Field and Description |
---|---|
static int |
kNoProgress |
swigCMemOwn
Constructor and Description |
---|
SearchMonitor(long cPtr,
boolean cMemoryOwn) |
SearchMonitor(Solver s) |
Modifier and Type | Method and Description |
---|---|
void |
accept(ModelVisitor visitor)
Accepts the given model visitor.
|
boolean |
acceptDelta(Assignment delta,
Assignment deltadelta) |
void |
acceptNeighbor()
After accepting a neighbor during local search.
|
boolean |
acceptSolution()
This method is called when a solution is found.
|
void |
AcceptUncheckedNeighbor()
After accepting an unchecked neighbor during local search.
|
void |
afterDecision(Decision d,
boolean apply)
Just after refuting or applying the decision, apply is true after Apply.
|
void |
applyDecision(Decision d)
Before applying the decision.
|
boolean |
atSolution()
This method is called when a valid solution is found.
|
void |
beginFail()
Just when the failure occurs.
|
void |
beginInitialPropagation()
Before the initial propagation.
|
void |
beginNextDecision(DecisionBuilder b)
Before calling DecisionBuilder::Next.
|
void |
delete() |
void |
endFail()
After completing the backtrack.
|
void |
endInitialPropagation()
After the initial propagation.
|
void |
endNextDecision(DecisionBuilder b,
Decision d)
After calling DecisionBuilder::Next, along with the returned decision.
|
void |
enterSearch()
Beginning of the search.
|
void |
exitSearch()
End of the search.
|
protected void |
finalize() |
static long |
getCPtr(SearchMonitor obj) |
void |
install()
Registers itself on the solver such that it gets notified of the search
and propagation events. |
boolean |
IsUncheckedSolutionLimitReached()
Returns true if the limit of solutions has been reached including
unchecked solutions. |
void |
keepAliveDecisionBuilder(DecisionBuilder db) |
boolean |
localOptimum()
When a local optimum is reached.
|
void |
noMoreSolutions()
When the search tree is finished.
|
void |
periodicCheck()
Periodic call to check limits in long running methods.
|
int |
progressPercent()
Returns a percentage representing the propress of the search before
reaching limits. |
void |
refuteDecision(Decision d)
Before refuting the decision.
|
void |
restartSearch()
Restart the search.
|
Solver |
solver() |
protected void |
swigDirectorDisconnect() |
static long |
swigRelease(SearchMonitor obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
getCPtr, swigRelease, toString
public SearchMonitor(long cPtr, boolean cMemoryOwn)
public SearchMonitor(Solver s)
public static long getCPtr(SearchMonitor obj)
public static long swigRelease(SearchMonitor obj)
protected void finalize()
finalize
in class BaseObject
public void delete()
delete
in class BaseObject
protected void swigDirectorDisconnect()
public void swigReleaseOwnership()
public void swigTakeOwnership()
public void keepAliveDecisionBuilder(DecisionBuilder db)
public void enterSearch()
public void restartSearch()
public void exitSearch()
public void beginNextDecision(DecisionBuilder b)
public void endNextDecision(DecisionBuilder b, Decision d)
public void applyDecision(Decision d)
public void refuteDecision(Decision d)
public void afterDecision(Decision d, boolean apply)
public void beginFail()
public void endFail()
public void beginInitialPropagation()
public void endInitialPropagation()
public boolean acceptSolution()
public boolean atSolution()
public void noMoreSolutions()
public boolean localOptimum()
public boolean acceptDelta(Assignment delta, Assignment deltadelta)
public void acceptNeighbor()
public void AcceptUncheckedNeighbor()
public boolean IsUncheckedSolutionLimitReached()
public void periodicCheck()
public int progressPercent()
public void accept(ModelVisitor visitor)
public void install()
public Solver solver()
Copyright © 2025. All rights reserved.