Package org.jacop.search
Class SimpleTimeOut
java.lang.Object
org.jacop.search.SimpleTimeOut
- All Implemented Interfaces:
TimeOutListener
It defines a simple time out listener. It only records the fact
that timeout listener occurred as well as number of solutions found
before the timeout.
- Version:
- 4.8
-
Field Summary
FieldsModifier and TypeFieldDescriptionint
It records number of found solutions.It contains child(ren) of this timeout listener.boolean
It specifies if the timeout has already occurred. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
executedAtTimeOut
(int solutionsNo) It is executed right after time out is determined.void
It sets child listener for this timeout listener.void
setChildrenListeners
(TimeOutListener[] children) It sets children listeners for this timeout listener.
-
Field Details
-
timeOutOccurred
public boolean timeOutOccurredIt specifies if the timeout has already occurred. -
solutionsNo
public int solutionsNoIt records number of found solutions. -
timeOutListeners
It contains child(ren) of this timeout listener.
-
-
Constructor Details
-
SimpleTimeOut
public SimpleTimeOut()
-
-
Method Details
-
executedAtTimeOut
public void executedAtTimeOut(int solutionsNo) Description copied from interface:TimeOutListener
It is executed right after time out is determined.- Specified by:
executedAtTimeOut
in interfaceTimeOutListener
- Parameters:
solutionsNo
- number of solutions found before the timeout occurred.
-
setChildrenListeners
Description copied from interface:TimeOutListener
It sets children listeners for this timeout listener.- Specified by:
setChildrenListeners
in interfaceTimeOutListener
- Parameters:
children
- list of children listeners.
-
setChildrenListeners
Description copied from interface:TimeOutListener
It sets child listener for this timeout listener.- Specified by:
setChildrenListeners
in interfaceTimeOutListener
- Parameters:
child
- child listener for this timeout listener.
-