Class PropLargeMDDC

  • All Implemented Interfaces:
    Comparable<Propagator>, ICause, Identity

    public class PropLargeMDDC
    extends Propagator<IntVar>
    Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.

    Created by cprudhom on 04/11/14. Project: choco.

    • Constructor Detail

      • PropLargeMDDC

        public PropLargeMDDC​(MultivaluedDecisionDiagram MDD,
                             IntVar... VARS)
        Create a propagator maintaining GAC based on a MDD. The MDD can be shared between multiple propagators, no copy is achieved.
        MDD - Multi-valued Decision Diagram, stores the solutions
        VARS - the related variables -- the order is important, and need to match the MDD.
    • Method Detail

      • propagate

        public void propagate​(int evtmask)
                       throws ContradictionException
        Description copied from class: Propagator
        Call the main filtering algorithm to apply to the Domain of the Variable objects. It considers the current state of this objects to remove some values from domains and/or instantiate some variables. Calling this method is done from 2 (and only 2) steps:
        - at the initial propagation step,
        - when involved in a reified constraint.
        It should initialized the internal data structure and apply filtering algorithm from scratch.
        Specified by:
        propagate in class Propagator<IntVar>
        evtmask - type of propagation event this must consider.
        ContradictionException - when a contradiction occurs, like domain wipe out or other incoherencies.
      • isEntailed

        public ESat isEntailed()
        Description copied from class: Propagator
        Check wether this is entailed according to the current state of its internal structure. At least, should check the satisfaction of this (when all is instantiated).
        Specified by:
        isEntailed in class Propagator<IntVar>
        ESat.TRUE if entailed, ESat.FALSE if not entailed, ESat.UNDEFINED if unknown