public class PropagationBaseObject extends BaseObject
swigCMemOwn
Constructor and Description |
---|
PropagationBaseObject(long cPtr,
boolean cMemoryOwn) |
PropagationBaseObject(Solver s) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
baseName()
Returns a base name for automatic naming.
|
void |
delete() |
void |
enqueueDelayedDemon(Demon d)
This method pushes the demon onto the propagation queue.
|
void |
enqueueVar(Demon d) |
protected void |
finalize() |
void |
freezeQueue()
This method freezes the propagation queue.
|
static long |
getCPtr(PropagationBaseObject obj) |
boolean |
hasName()
Returns whether the object has been named or not.
|
java.lang.String |
name()
Object naming.
|
void |
reset_action_on_fail()
This method clears the failure callback.
|
void |
set_variable_to_clean_on_fail(IntVar v)
Shortcut for variable cleaner.
|
void |
setName(java.lang.String name) |
Solver |
solver() |
static long |
swigRelease(PropagationBaseObject obj) |
java.lang.String |
toString() |
void |
unfreezeQueue()
This method unfreezes the propagation queue.
|
getCPtr, swigRelease
public PropagationBaseObject(long cPtr, boolean cMemoryOwn)
public PropagationBaseObject(Solver s)
public static long getCPtr(PropagationBaseObject obj)
public static long swigRelease(PropagationBaseObject obj)
protected void finalize()
finalize
in class BaseObject
public void delete()
delete
in class BaseObject
public java.lang.String toString()
toString
in class BaseObject
public Solver solver()
public void freezeQueue()
public void unfreezeQueue()
public void enqueueDelayedDemon(Demon d)
public void enqueueVar(Demon d)
public void reset_action_on_fail()
public void set_variable_to_clean_on_fail(IntVar v)
public java.lang.String name()
public void setName(java.lang.String name)
public boolean hasName()
public java.lang.String baseName()
Copyright © 2025. All rights reserved.