Java Reference

Java Reference

Demon

Detailed Description

A Demon is the base element of a propagation queue.

It is the main object responsible for implementing the actual propagation of the constraint and pruning the inconsistent values in the domains of the variables. The main concept is that demons are listeners that are attached to the variables and listen to their modifications. There are two methods: - Run() is the actual method called when the demon is processed. - priority() returns its priority. Standard priorities are slow, normal or fast. "immediate" is reserved for variables and is treated separately.

Definition at line 14 of file Demon.java.

Public Member Functions

synchronized void delete ()
 
void run (Solver s)
 This is the main callback of the demon. More...
 
int priority ()
 This method returns the priority of the demon. More...
 
String toString ()
 
void inhibit (Solver s)
 This method inhibits the demon in the search tree below the current position. More...
 
void desinhibit (Solver s)
 This method un-inhibits the demon that was previously inhibited. More...
 

Protected Member Functions

 Demon (long cPtr, boolean cMemoryOwn)
 

Constructor & Destructor Documentation

◆ Demon()

Demon ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file Demon.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Reimplemented from BaseObject.

Definition at line 31 of file Demon.java.

◆ desinhibit()

void desinhibit ( Solver  s)
inline

This method un-inhibits the demon that was previously inhibited.

Definition at line 70 of file Demon.java.

◆ inhibit()

void inhibit ( Solver  s)
inline

This method inhibits the demon in the search tree below the current position.

Definition at line 63 of file Demon.java.

◆ priority()

int priority ( )
inline

This method returns the priority of the demon.

Usually a demon is fast, slow or normal. Immediate demons are reserved for internal use to maintain variables.

Definition at line 52 of file Demon.java.

◆ run()

void run ( Solver  s)
inline

This is the main callback of the demon.

Definition at line 45 of file Demon.java.

◆ toString()

String toString ( )
inline

Reimplemented from BaseObject.

Definition at line 56 of file Demon.java.


The documentation for this class was generated from the following file: