public class Demon extends BaseObject
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
protected |
Demon(long cPtr,
boolean cMemoryOwn) |
| Modifier and Type | Method and Description |
|---|---|
void |
delete() |
void |
desinhibit(Solver s)
This method un-inhibits the demon that was previously inhibited.
|
protected void |
finalize() |
protected static long |
getCPtr(Demon obj) |
void |
inhibit(Solver s)
This method inhibits the demon in the search tree below the
current position. |
int |
priority()
This method returns the priority of the demon.
|
void |
run(Solver s)
This is the main callback of the demon.
|
protected static long |
swigRelease(Demon obj) |
java.lang.String |
toString() |
getCPtr, swigReleaseprotected static long getCPtr(Demon obj)
protected static long swigRelease(Demon obj)
protected void finalize()
finalize in class BaseObjectpublic void delete()
delete in class BaseObjectpublic void run(Solver s)
public int priority()
public java.lang.String toString()
toString in class BaseObjectpublic void inhibit(Solver s)
public void desinhibit(Solver s)
Copyright © 2024. All rights reserved.