public class IbexHandler extends Object
Project: choco-solver.
Constructor and Description |
---|
IbexHandler() |
Modifier and Type | Method and 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.
|
public void declare(RealPropagator prop)
prop
- propagator that manages the functionpublic void remove(RealPropagator prop)
prop
- propagator that manages the functionpublic boolean nextSolution(boolean reinit)
public void injectDomain() throws ContradictionException
ContradictionException
Copyright © 2018. All rights reserved.