public class PropagationBaseObject extends BaseObject
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
protected |
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.
|
protected 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() |
protected static long |
swigRelease(PropagationBaseObject obj) |
java.lang.String |
toString() |
void |
unfreezeQueue()
This method unfreezes the propagation queue.
|
getCPtr, swigReleaseprotected PropagationBaseObject(long cPtr,
boolean cMemoryOwn)
public PropagationBaseObject(Solver s)
protected static long getCPtr(PropagationBaseObject obj)
protected static long swigRelease(PropagationBaseObject obj)
protected void finalize()
finalize in class BaseObjectpublic void delete()
delete in class BaseObjectpublic java.lang.String toString()
toString in class BaseObjectpublic 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 © 2024. All rights reserved.