Solve.PrecisionSetting

java.lang.Object
- org.jacop.fz.Solve.PrecisionSetting

All Implemented Interfaces:: InitializeListener

Enclosing class:: Solve

public static class Solve.PrecisionSetting
extends java.lang.Object
implements InitializeListener

Field Summary

Fields
Modifier and Type Field Description

(package private) InitializeListener[] initializeChildListeners

(package private) double precision

Constructor Summary

Constructors
Constructor Description

PrecisionSetting(double p)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

- Field Detail
  - initializeChildListeners
```
InitializeListener[] initializeChildListeners
```
  - precision
```
double precision
```
- Constructor Detail
  - PrecisionSetting
```
PrecisionSetting(double p)
```
- 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.