|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SetVar
Field Summary | |
---|---|
static int |
BOUNDSET_BOUNDCARD
Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of Set Vars |
static int |
BOUNDSET_CONSTANT
Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of Set Vars |
static int |
BOUNDSET_ENUMCARD
Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of Set Vars |
Fields inherited from interface choco.kernel.solver.variables.Var |
---|
LOGGER |
Method Summary | |
---|---|
boolean |
addToKernel(int x,
int idx)
Deprecated. |
boolean |
addToKernel(int x,
SConstraint cause,
boolean forceAwake)
Propagation events updating the kernel of a variable (i.e adding a value) |
boolean |
canBeEqualTo(SetVar x)
Public user API: Domains : testing whether two variables have intersecting domains. |
IntDomainVar |
getCard()
|
SetDomain |
getDomain()
Public user API: Domains : returns the object responsible for storing the enumeration of values in the domain |
int |
getEnveloppeDomainSize()
Public user API: Domains : retrieves the number of values in the enveloppe domain. |
int |
getEnveloppeInf()
Returns the lower bound of the enveloppe variable domain. |
int |
getEnveloppeSup()
|
int |
getKernelDomainSize()
Public user API: Domains : retrieves the number of values in the kernel domain. |
int |
getKernelInf()
|
int |
getKernelSup()
|
int[] |
getValue()
Returns the value of the variable if instantiated. |
boolean |
instantiate(int[] x,
int idx)
Deprecated. |
boolean |
instantiate(int[] x,
SConstraint cause,
boolean forceAwake)
Propagation events instantiated a set var to a specific set of values |
boolean |
isInDomainEnveloppe(int x)
Public user API: Domains : testing whether a value is in the enveloppe domain. |
boolean |
isInDomainKernel(int x)
Public user API: Domains : testing whether a value is in the kernel domain |
boolean |
remFromEnveloppe(int x,
int idx)
Deprecated. |
boolean |
remFromEnveloppe(int x,
SConstraint cause,
boolean forceAwake)
Propagation events updating the enveloppe of a variable (i.e removing a value) |
void |
setVal(int[] val)
set the value of the variable to the set val. |
void |
setValIn(int x)
Public user API: setting a value to the kernel of a set variable |
void |
setValOut(int x)
Public user API: removing a value from the Enveloppe of a set variable. |
Methods inherited from interface choco.kernel.solver.variables.Var |
---|
addConstraint, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getName, getNbConstraints, getPriority, getVarIndex, isInstantiated |
Methods inherited from interface choco.IPretty |
---|
pretty |
Methods inherited from interface choco.kernel.common.IIndex |
---|
getIndex |
Methods inherited from interface choco.IExtensionnable |
---|
addExtension, getExtension |
Field Detail |
---|
static final int BOUNDSET_BOUNDCARD
static final int BOUNDSET_ENUMCARD
static final int BOUNDSET_CONSTANT
Method Detail |
---|
IntDomainVar getCard()
void setValIn(int x) throws ContradictionException
x
- the value that is set to the variable
ContradictionException
void setValOut(int x) throws ContradictionException
x
- the removed value
ContradictionException
SetDomain getDomain()
boolean isInDomainKernel(int x)
x
- the tested valueboolean isInDomainEnveloppe(int x)
x
- the tested valueboolean canBeEqualTo(SetVar x)
x
- the other variableint getKernelDomainSize()
int getEnveloppeDomainSize()
int getEnveloppeInf()
int getEnveloppeSup()
int getKernelInf()
int getKernelSup()
int[] getValue()
void setVal(int[] val) throws ContradictionException
val
- the value to be set
ContradictionException
boolean addToKernel(int x, SConstraint cause, boolean forceAwake) throws ContradictionException
x
- a value of the enveloppe domain to be added to the kernelcause
- forceAwake
-
ContradictionException
@Deprecated boolean addToKernel(int x, int idx) throws ContradictionException
ContradictionException
boolean remFromEnveloppe(int x, SConstraint cause, boolean forceAwake) throws ContradictionException
x
- a value of the enveloppe domain to be removedcause
- forceAwake
-
ContradictionException
@Deprecated boolean remFromEnveloppe(int x, int idx) throws ContradictionException
ContradictionException
boolean instantiate(int[] x, SConstraint cause, boolean forceAwake) throws ContradictionException
x
- a set of values describing the final instantiated kernelcause
- forceAwake
-
ContradictionException
@Deprecated boolean instantiate(int[] x, int idx) throws ContradictionException
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |