Class LazyCpVarDomain<E extends IntVar>

java.lang.Object
org.jacop.satwrapper.translation.SatCPBridge
org.jacop.satwrapper.translation.LazyCpVarDomain<E>
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.9
  • Field Details

  • Constructor Details

    • LazyCpVarDomain

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

    • 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
    • initialize

      public void initialize(SatWrapper wrapper)
      Deprecated.
      Description copied from interface: WrapperComponent
      connect the component to the wrapper
      Specified by:
      initialize in interface WrapperComponent
      Specified by:
      initialize in class SatCPBridge
      Parameters:
      wrapper - the wrapper