Class: ModelDomains
Variable domains after propagation.
Function propagate computes variable domains after propagation. This class holds the computed domains (see PropagationResult.domains).
Propagation removes inconsistent values from domains of variables using constraint propagation. It does not fix variables to values (in general).
For each variable, this class provide a way to query the computed domain, e.g. using function ModelDomains.getStartMin.
Methods
getEndMax()
getEndMax(
v:IntervalVar):null|number
Returns the maximum end time of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
getEndMin()
getEndMin(
v:IntervalVar):null|number
Returns the minimum end time of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
getLengthMax()
getLengthMax(
v:IntervalVar):null|number
Returns the maximum length of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
getLengthMin()
getLengthMin(
v:IntervalVar):null|number
Returns the minimum length of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
getStartMax()
getStartMax(
v:IntervalVar):null|number
Returns the maximum start time of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
getStartMin()
getStartMin(
v:IntervalVar):null|number
Returns the minimum start time of the variable computed by constraint propagation.
If the variable is absent then it returns null.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
null | number
isAbsent()
isAbsent(
v:IntervalVar):boolean
Returns true if the variable is absent after propagation. I.e. it must be absent in all solutions (if any).
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
boolean
isOptional()
isOptional(
v:IntervalVar):boolean
Returns true if the presence status of the variable is not decided by propagation. I.e. the variable could be present or absent in a solution.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
boolean
isPresent()
isPresent(
v:IntervalVar):boolean
Returns true if the variable is present after propagation. I.e. it cannot be absent any solution.
Parameters
| Parameter | Type |
|---|---|
v | IntervalVar |
Returns
boolean