org.jacop.fz

Class Solve.PrecisionSetting

java.lang.Object

org.jacop.fz.Solve.PrecisionSetting

All Implemented Interfaces:

InitializeListener

Enclosing class:

Solve

public static class Solve.PrecisionSetting
extends Object
implements InitializeListener

Method Summary

Modifier and Type	Method and Description
void	executedAtInitialize(Store store) It is executed before the search starts labeling procedure.
void	setChildrenListeners(InitializeListener child) It sets one child listener for this initialize listener.
void	setChildrenListeners(InitializeListener[] children) It sets the children listeners of this initialize listener.

Methods inherited from class java.lang.Object

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

Method Detail

executedAtInitialize

public void executedAtInitialize(Store store)

Description copied from interface: InitializeListener

It is executed before the search starts labeling procedure.

Specified by:

executedAtInitialize in interface InitializeListener

Parameters:

store - store in which context the search is performed.

setChildrenListeners

public void setChildrenListeners(InitializeListener[] children)

Description copied from interface: InitializeListener

It sets the children listeners of this initialize listener.

Specified by:

setChildrenListeners in interface InitializeListener

Parameters:

children - children listeners being set

setChildrenListeners

public void setChildrenListeners(InitializeListener child)

Description copied from interface: InitializeListener

It sets one child listener for this initialize listener.

Specified by:

setChildrenListeners in interface InitializeListener

Parameters:

child - the child of this initialize listener.