org.jacop.satwrapper.translation

Class LazyCpVarDomain<E extends IntVar>

java.lang.Object

org.jacop.satwrapper.translation.SatCPBridge

org.jacop.satwrapper.translation.LazyCpVarDomain<E>

All Implemented Interfaces:

WrapperComponent

Deprecated.

@Deprecated
public final class LazyCpVarDomain<E extends IntVar>
extends SatCPBridge

double linked lazy list, to store boolean variables that represent a range of values for a variable

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode	left Deprecated.
org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode	right Deprecated.

Fields inherited from class org.jacop.satwrapper.translation.SatCPBridge

hasSetDomain, initialDomain, max, min, variable, wrapper

Constructor Summary

Constructors

Constructor and Description
LazyCpVarDomain(IntVar variable) Deprecated. creates the var list

Method Summary

Modifier and Type	Method and Description
int	boolVarToCpValue(int literal) Deprecated. return the value corresponding to given literal (variable)
int	cpValueToBoolVar(int value, boolean isEquality) Deprecated. return the literal that represents the assertion 'var = value'.
void	initialize(SatWrapper wrapper) Deprecated. connect the component to the wrapper
boolean	isEqualityBoolVar(int literal) Deprecated. checks if the literal stands for a 'x=d' proposition, or a 'x<=d' proposition
boolean	isTranslated() Deprecated. predicate for whether this variable should be handled by the DomainClausesDatabase or not
void	propagate(int literal) Deprecated. does all propagation required, in a way specific to this range.
void	setDomain(int minValue, int maxValue) Deprecated. set the domain to be between minValue and maxValue.

Methods inherited from class org.jacop.satwrapper.translation.SatCPBridge

getLeftLimit, getRightLimit, isInThisRange, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

left

public org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode left

Deprecated.

right

public org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode right

Deprecated.

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

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