blog
Interface WorldListener

public interface WorldListener

Interface for objects that can be notified of changes to the values of random variables in a PartialWorld.

Method Summary

void	identifierChanged(ObjectIdentifier id, NumberVar oldPOPApp, NumberVar newPOPApp) Called when the assertion that a partial world makes about the given object identifier has changed.
void	varChanged(BasicVar rv, java.lang.Object oldValue, java.lang.Object newValue) Called when the value of a basic random variable has changed.

Method Detail

varChanged

void varChanged(BasicVar rv,
                java.lang.Object oldValue,
                java.lang.Object newValue)

Called when the value of a basic random variable has changed. If the variable was not previously instantiated, oldValue is null. If it has just been uninstantiated, then newValue is null.

identifierChanged

void identifierChanged(ObjectIdentifier id,
                       NumberVar oldPOPApp,
                       NumberVar newPOPApp)

Called when the assertion that a partial world makes about the given object identifier has changed. If the identifier was not previously asserted to satisfy any POP application, then oldPOPApp is null. If the identifier has just been unasserted, then newPOPApp is null.