Package org.jacop.satwrapper.translation

Class SimpleCpVarDomain

java.lang.Object

org.jacop.satwrapper.translation.SatCPBridge

org.jacop.satwrapper.translation.SimpleCpVarDomain

All Implemented Interfaces:

WrapperComponent

public class SimpleCpVarDomain
extends SatCPBridge

A simple representation for small domains, not lazy. It allocates boolean variables to stand for propositions '[x=v]' and '[x<=v]' for each value v of the domain of x (even '[x<=max]', which is a tautology, for simplicity)

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
private DomainClausesDatabase	clauseDatabase
private int	firstVar
boolean	isTranslated
private int	width

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

hasSetDomain, initialDomain, max, min, variable, wrapper

Constructor Summary

Constructors

Constructor	Description
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable)
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable, boolean translate)

Method Summary

Modifier and Type	Method	Description
int	boolVarToCpValue(int literal)	return the value corresponding to given literal (variable)
int	cpValueToBoolVar(int value, boolean isEquality)	return the literal that represents the assertion 'var = value'.
void	initialize(SatWrapper wrapper)	connect the component to the wrapper
boolean	isEqualityBoolVar(int literal)	checks if the literal stands for a 'x=d' proposition, or a 'x<=d' proposition
boolean	isTranslated()	predicate for whether this variable should be handled by the DomainClausesDatabase or not
void	propagate(int literal)	given some literal has a value, what other literals should be asserted ?
void	setDomain(int minValue, int maxValue)	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

firstVar

private int firstVar

width

private int width

clauseDatabase

private DomainClausesDatabase clauseDatabase

isTranslated

public boolean isTranslated

Constructor Detail

SimpleCpVarDomain

public SimpleCpVarDomain(SatWrapper wrapper,
                         IntVar variable)

SimpleCpVarDomain

public SimpleCpVarDomain(SatWrapper wrapper,
                         IntVar variable,
                         boolean translate)

Method Detail

cpValueToBoolVar

public final int cpValueToBoolVar(int value,
                                  boolean isEquality)

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 final int boolVarToCpValue(int literal)

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 final boolean isEqualityBoolVar(int literal)

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)

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)

given some literal has a value, what other literals should be asserted ?

Specified by:

propagate in class SatCPBridge

Parameters:

literal - the literal that has been asserted

isTranslated

public boolean isTranslated()

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)

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