IbexHandler (org.choco-solver-choco-solver 4.10.3 API)

java.lang.Object
- org.chocosolver.solver.constraints.real.IbexHandler

```
public class IbexHandler
extends Object
```
Utility class to build the right Ibex instance. The main idea is to delegate filtering of full real constraints and partially real constraints to Ibex. Because Ibex does not support removing a contractor, this class makes up for this lack. Anytime a contractor has to be removed from Ibex, the instance is killed and recreated lazily.
Project: choco-solver.

Since:

29/09/2017.

Author:

Charles Prud'homme

Constructor Summary

Constructors
Constructor Description

IbexHandler()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`declare(RealPropagator prop)`	Add new functions to Ibex
`protected void`	`finalize()`
`void`	`injectDomain()`
`boolean`	`nextSolution(boolean reinit)`
`void`	`remove(RealPropagator prop)`	Remove 'prop' and thus the function it managed.

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - IbexHandler
```
public IbexHandler()
```
- Method Detail
  - declare
```
public void declare(RealPropagator prop)
```
    Add new functions to Ibex
    
    Parameters:
    
    prop - propagator that manages the function
  - remove
```
public void remove(RealPropagator prop)
```
    Remove 'prop' and thus the function it managed.
    
    Parameters:
    
    prop - propagator that manages the function
  - nextSolution
```
public boolean nextSolution(boolean reinit)
```
  - injectDomain
```
public void injectDomain()
                  throws ContradictionException
```
    Throws:
    
    ContradictionException
  - finalize
```
protected void finalize()
                 throws Throwable
```
    Overrides:
    
    finalize in class Object
    
    Throws:
    
    Throwable