public class SearchLimit extends SearchMonitor
kNoProgress
swigCMemOwn
Constructor and Description |
---|
SearchLimit(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
beginNextDecision(DecisionBuilder b)
Before calling DecisionBuilder::Next.
|
boolean |
check()
This method is called to check the status of the limit.
|
boolean |
CheckWithOffset(SWIGTYPE_p_absl__Duration offset)
Same as Check() but adds the 'offset' value to the current time when time
is considered in the limit. |
void |
copy(SearchLimit limit)
Copy a limit.
|
boolean |
crossed()
Returns true if the limit has been crossed.
|
void |
delete() |
void |
enterSearch()
Internal methods.
|
protected void |
finalize() |
static long |
getCPtr(SearchLimit obj) |
void |
init()
This method is called when the search limit is initialized.
|
void |
install()
Registers itself on the solver such that it gets notified of the search
and propagation events. |
void |
keepAliveDecisionBuilder(DecisionBuilder db) |
SearchLimit |
makeClone()
Allocates a clone of the limit.
|
void |
periodicCheck()
Periodic call to check limits in long running methods.
|
void |
refuteDecision(Decision d)
Before refuting the decision.
|
static long |
swigRelease(SearchLimit obj) |
java.lang.String |
toString() |
accept, acceptDelta, acceptNeighbor, acceptSolution, AcceptUncheckedNeighbor, afterDecision, applyDecision, atSolution, beginFail, beginInitialPropagation, endFail, endInitialPropagation, endNextDecision, exitSearch, getCPtr, IsUncheckedSolutionLimitReached, localOptimum, noMoreSolutions, progressPercent, restartSearch, solver, swigDirectorDisconnect, swigRelease, swigReleaseOwnership, swigTakeOwnership
getCPtr, swigRelease
public static long getCPtr(SearchLimit obj)
public static long swigRelease(SearchLimit obj)
protected void finalize()
finalize
in class SearchMonitor
public void delete()
delete
in class SearchMonitor
public void keepAliveDecisionBuilder(DecisionBuilder db)
keepAliveDecisionBuilder
in class SearchMonitor
public boolean crossed()
public boolean check()
public boolean CheckWithOffset(SWIGTYPE_p_absl__Duration offset)
public void init()
public void copy(SearchLimit limit)
public SearchLimit makeClone()
public void enterSearch()
enterSearch
in class SearchMonitor
public void beginNextDecision(DecisionBuilder b)
SearchMonitor
beginNextDecision
in class SearchMonitor
public void periodicCheck()
SearchMonitor
periodicCheck
in class SearchMonitor
public void refuteDecision(Decision d)
SearchMonitor
refuteDecision
in class SearchMonitor
public java.lang.String toString()
toString
in class BaseObject
public void install()
SearchMonitor
install
in class SearchMonitor
Copyright © 2025. All rights reserved.