Class 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.

    Charles Prud'homme
    • Constructor Detail

      • IbexHandler

        public IbexHandler()
    • Method Detail

      • declare

        public void declare​(RealPropagator prop)
        Add new functions to Ibex
        prop - propagator that manages the function
      • remove

        public void remove​(RealPropagator prop)
        Remove 'prop' and thus the function it managed.
        prop - propagator that manages the function
      • nextSolution

        public boolean nextSolution​(boolean reinit)