Package org.jacop.satwrapper.translation

Class LazyCpVarDomain<E extends IntVar>

  • All Implemented Interfaces:
    WrapperComponent
    @Deprecated
public final class LazyCpVarDomain<E extends IntVar>
extends SatCPBridge
    Deprecated.
    double linked lazy list, to store boolean variables that represent a range of values for a variable
    Version:
    4.8

    • Constructor Detail

      • LazyCpVarDomain

        public LazyCpVarDomain​(IntVar variable)
        Deprecated.
        creates the var list
        Parameters:
        variable - the variable this list represents

    • Method Detail

      • cpValueToBoolVar

        public int cpValueToBoolVar​(int value,
                            boolean isEquality)
        Deprecated.
        Description copied from class: SatCPBridge
        return the literal that represents the assertion 'var = value'. For the proposition 'var<= value', set the isEquality flag to false
        Specified by:
        cpValueToBoolVar in class SatCPBridge
        Parameters:
        value - the value for the variable this range represents
        isEquality - true if we want the literal for 'x=d' kind of propositions, false for 'x<=d'
        Returns:
        the literal corresponding to 'var = this value'. If the value is out of the domain of the variable, returns 0.

      • boolVarToCpValue

        public int boolVarToCpValue​(int literal)
        Deprecated.
        Description copied from class: SatCPBridge
        return the value corresponding to given literal (variable)
        Specified by:
        boolVarToCpValue in class SatCPBridge
        Parameters:
        literal - the literal standing for 'var = value'
        Returns:
        the value such that 'var = value' (or 'var<= value')

      • isEqualityBoolVar

        public boolean isEqualityBoolVar​(int literal)
        Deprecated.
        Description copied from class: SatCPBridge
        checks if the literal stands for a 'x=d' proposition, or a 'x<=d' proposition
        Specified by:
        isEqualityBoolVar in class SatCPBridge
        Parameters:
        literal - the literal (among literals from this range)
        Returns:
        true if the literal stands for 'x=d', false otherwise

      • setDomain

        public void setDomain​(int minValue,
                      int maxValue)
        Deprecated.
        Description copied from class: SatCPBridge
        set the domain to be between minValue and maxValue. It only does something on the first call.
        Overrides:
        setDomain in class SatCPBridge
        Parameters:
        minValue - minimum value of the range
        maxValue - maximum value of the range

      • propagate

        public void propagate​(int literal)
        Deprecated.
        Description copied from class: SatCPBridge
        does all propagation required, in a way specific to this range. This part may not be used, if the variable is not bound to a DomainClausesDatabase. This will be called only if this.isTranslated() is false.
        Specified by:
        propagate in class SatCPBridge
        Parameters:
        literal - the literal that has been asserted

      • isTranslated

        public boolean isTranslated()
        Deprecated.
        Description copied from class: SatCPBridge
        predicate for whether this variable should be handled by the DomainClausesDatabase or not
        Specified by:
        isTranslated in class SatCPBridge
        Returns:
        true if the variable should be handled by the DomainClausesDatabase