public class PropagationMonitor extends SearchMonitor
kNoProgress
swigCMemOwn
Constructor and Description |
---|
PropagationMonitor(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
beginConstraintInitialPropagation(Constraint constraint)
Propagation events.
|
void |
beginDemonRun(Demon demon) |
void |
beginNestedConstraintInitialPropagation(Constraint parent,
Constraint nested) |
void |
delete() |
void |
endConstraintInitialPropagation(Constraint constraint) |
void |
endDemonRun(Demon demon) |
void |
endNestedConstraintInitialPropagation(Constraint parent,
Constraint nested) |
void |
endProcessingIntegerVariable(IntVar var) |
protected void |
finalize() |
static long |
getCPtr(PropagationMonitor obj) |
void |
install()
Install itself on the solver.
|
void |
popContext() |
void |
pushContext(java.lang.String context) |
void |
rankFirst(SequenceVar var,
int index)
SequenceVar modifiers
|
void |
rankLast(SequenceVar var,
int index) |
void |
rankNotFirst(SequenceVar var,
int index) |
void |
rankNotLast(SequenceVar var,
int index) |
void |
rankSequence(SequenceVar var,
int[] rank_first,
int[] rank_last,
int[] unperformed) |
void |
registerDemon(Demon demon) |
void |
removeInterval(IntVar var,
long imin,
long imax) |
void |
removeValue(IntVar var,
long value) |
void |
removeValues(IntVar var,
long[] values) |
void |
setDurationMax(IntervalVar var,
long new_max) |
void |
setDurationMin(IntervalVar var,
long new_min) |
void |
setDurationRange(IntervalVar var,
long new_min,
long new_max) |
void |
setEndMax(IntervalVar var,
long new_max) |
void |
setEndMin(IntervalVar var,
long new_min) |
void |
setEndRange(IntervalVar var,
long new_min,
long new_max) |
void |
setMax(IntExpr expr,
long new_max) |
void |
setMax(IntVar var,
long new_max) |
void |
setMin(IntExpr expr,
long new_min)
IntExpr modifiers.
|
void |
setMin(IntVar var,
long new_min)
IntVar modifiers.
|
void |
setPerformed(IntervalVar var,
boolean value) |
void |
setRange(IntExpr expr,
long new_min,
long new_max) |
void |
setRange(IntVar var,
long new_min,
long new_max) |
void |
setStartMax(IntervalVar var,
long new_max) |
void |
setStartMin(IntervalVar var,
long new_min)
IntervalVar modifiers.
|
void |
setStartRange(IntervalVar var,
long new_min,
long new_max) |
void |
setValue(IntVar var,
long value) |
void |
setValue(IntVar var,
long[] values) |
void |
startProcessingIntegerVariable(IntVar var) |
static long |
swigRelease(PropagationMonitor obj) |
java.lang.String |
toString() |
accept, acceptDelta, acceptNeighbor, acceptSolution, AcceptUncheckedNeighbor, afterDecision, applyDecision, atSolution, beginFail, beginInitialPropagation, beginNextDecision, endFail, endInitialPropagation, endNextDecision, enterSearch, exitSearch, getCPtr, IsUncheckedSolutionLimitReached, keepAliveDecisionBuilder, localOptimum, noMoreSolutions, periodicCheck, progressPercent, refuteDecision, restartSearch, solver, swigDirectorDisconnect, swigRelease, swigReleaseOwnership, swigTakeOwnership
getCPtr, swigRelease
public static long getCPtr(PropagationMonitor obj)
public static long swigRelease(PropagationMonitor obj)
protected void finalize()
finalize
in class SearchMonitor
public void delete()
delete
in class SearchMonitor
public java.lang.String toString()
toString
in class BaseObject
public void beginConstraintInitialPropagation(Constraint constraint)
public void endConstraintInitialPropagation(Constraint constraint)
public void beginNestedConstraintInitialPropagation(Constraint parent, Constraint nested)
public void endNestedConstraintInitialPropagation(Constraint parent, Constraint nested)
public void registerDemon(Demon demon)
public void beginDemonRun(Demon demon)
public void endDemonRun(Demon demon)
public void startProcessingIntegerVariable(IntVar var)
public void endProcessingIntegerVariable(IntVar var)
public void pushContext(java.lang.String context)
public void popContext()
public void setMin(IntExpr expr, long new_min)
public void setMax(IntExpr expr, long new_max)
public void setRange(IntExpr expr, long new_min, long new_max)
public void setMin(IntVar var, long new_min)
public void setMax(IntVar var, long new_max)
public void setRange(IntVar var, long new_min, long new_max)
public void removeValue(IntVar var, long value)
public void setValue(IntVar var, long value)
public void removeInterval(IntVar var, long imin, long imax)
public void setValue(IntVar var, long[] values)
public void removeValues(IntVar var, long[] values)
public void setStartMin(IntervalVar var, long new_min)
public void setStartMax(IntervalVar var, long new_max)
public void setStartRange(IntervalVar var, long new_min, long new_max)
public void setEndMin(IntervalVar var, long new_min)
public void setEndMax(IntervalVar var, long new_max)
public void setEndRange(IntervalVar var, long new_min, long new_max)
public void setDurationMin(IntervalVar var, long new_min)
public void setDurationMax(IntervalVar var, long new_max)
public void setDurationRange(IntervalVar var, long new_min, long new_max)
public void setPerformed(IntervalVar var, boolean value)
public void rankFirst(SequenceVar var, int index)
public void rankNotFirst(SequenceVar var, int index)
public void rankLast(SequenceVar var, int index)
public void rankNotLast(SequenceVar var, int index)
public void rankSequence(SequenceVar var, int[] rank_first, int[] rank_last, int[] unperformed)
public void install()
install
in class SearchMonitor
Copyright © 2025. All rights reserved.