jopt.csp.spi.solver
Interface ChoicePointDataMapListener

public interface ChoicePointDataMapListener

Interface to implement if an object wants to be notified of a choice point data map being rolled back

Method Summary

void	afterChoicePointPopEvent() Indicates that the current choice point has been rolled back and domain data must be reset
void	afterChoicePointPushEvent() Indicates that current choice point has been updated and domain data must be restored
void	beforeChoicePointPopEvent() Indicates that the current choice point is about to be rolled back and domain data must be reset
void	beforeChoicePointPushEvent() Indicates that current choice point is about to be pushed to allow data to be recorded in stack

Method Detail

beforeChoicePointPopEvent

public void beforeChoicePointPopEvent()

Indicates that the current choice point is about to be rolled back and domain data must be reset

afterChoicePointPopEvent

public void afterChoicePointPopEvent()

Indicates that the current choice point has been rolled back and domain data must be reset

beforeChoicePointPushEvent

public void beforeChoicePointPushEvent()

Indicates that current choice point is about to be pushed to allow data to be recorded in stack

afterChoicePointPushEvent

public void afterChoicePointPushEvent()

Indicates that current choice point has been updated and domain data must be restored