choco.palm.dbt.prop
Class PalmVarEventQueue

java.lang.Object
  choco.prop.VarEventQueue
      choco.palm.dbt.prop.PalmVarEventQueue

All Implemented Interfaces:

EventQueue

public class PalmVarEventQueue
extends VarEventQueue

Field Summary

Fields inherited from class choco.prop.VarEventQueue

lastPopped, queue

Constructor Summary

PalmVarEventQueue()

Method Summary

void	assertValidQueue()
boolean	contains(java.lang.Object obj)
PriorityQueue	getQueue()
void	reset() Resets all the events of the queue.
void	resetPopping() Reset the last event if a contradiction occured when it was handled.
void	restoreVariableExplanations() Updates variable explanations.

Methods inherited from class choco.prop.VarEventQueue

flushEventQueue, get, isEmpty, popEvent, propagateOneEvent, propagateSomeEvents, pushEvent, remove, size, updatePriority

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PalmVarEventQueue

public PalmVarEventQueue()

Method Detail

resetPopping

public void resetPopping()

Reset the last event if a contradiction occured when it was handled.

reset

public void reset()

Resets all the events of the queue.

restoreVariableExplanations

public void restoreVariableExplanations()

Updates variable explanations.

assertValidQueue

public void assertValidQueue()

contains

public boolean contains(java.lang.Object obj)

getQueue

public PriorityQueue getQueue()