Solve.PrecisionSetting

java.lang.Object

org.jacop.fz.Solve.PrecisionSetting

All Implemented Interfaces:: InitializeListener

Enclosing class:: Solve<T extends Var>

public static class Solve.PrecisionSetting extends 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

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