Package | Description |
---|---|
org.jacop.core |
Modifier and Type | Class and Description |
---|---|
class |
MutableDomainValue |
Modifier and Type | Method and Description |
---|---|
MutableVarValue |
MutableDomain.previous() |
MutableVarValue |
MutableDomainValue.previous() |
MutableVarValue |
MutableVar.previous()
It returns the earlier value of variable comparing to the current one.
|
MutableVarValue |
MutableVarValue.previous()
It returns the earlier value of mutable variable.
|
MutableVarValue |
MutableDomain.value() |
MutableVarValue |
MutableVar.value()
It returns current value of MutableVariable.
|
Modifier and Type | Method and Description |
---|---|
void |
MutableDomain.setCurrent(MutableVarValue o) |
void |
MutableVar.setCurrent(MutableVarValue o)
It replace the current representation of the value with a new
representation.
|
void |
MutableDomainValue.setPrevious(MutableVarValue nn) |
void |
MutableVarValue.setPrevious(MutableVarValue o)
It replaces the earlier value of a mutable variable with value passed as
parameter.
|
void |
MutableDomain.update(MutableVarValue val) |
void |
MutableVar.update(MutableVarValue value)
It updates the value of a mutable variable based on value given as a
parameter, the stamp level of current value and stamp value of passed
value.
|
Copyright © 2022. All rights reserved.