public class SearchMonitor extends BaseObject
| Modifier and Type | Field and Description |
|---|---|
static int |
kNoProgress |
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
protected |
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.
This is called only if the Apply() or Refute() methods have not failed. |
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() |
protected 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() |
protected static long |
swigRelease(SearchMonitor obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
getCPtr, swigRelease, toStringprotected SearchMonitor(long cPtr,
boolean cMemoryOwn)
public SearchMonitor(Solver s)
protected static long getCPtr(SearchMonitor obj)
protected static long swigRelease(SearchMonitor obj)
protected void finalize()
finalize in class BaseObjectpublic void delete()
delete in class BaseObjectprotected 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 © 2024. All rights reserved.