public class Demon extends BaseObject
swigCMemOwn
Constructor and Description |
---|
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() |
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.
|
static long |
swigRelease(Demon obj) |
java.lang.String |
toString() |
getCPtr, swigRelease
public static long getCPtr(Demon obj)
public static long swigRelease(Demon obj)
protected void finalize()
finalize
in class BaseObject
public void delete()
delete
in class BaseObject
public void run(Solver s)
public int priority()
public java.lang.String toString()
toString
in class BaseObject
public void inhibit(Solver s)
public void desinhibit(Solver s)
Copyright © 2025. All rights reserved.