Skip to main content

Type alias: PropagationResult

PropagationResult: {"domains": "infeasible" | "limit" | ModelDomains;"duration": number;"memoryUsed": number;"nbConstraints": number;"nbIntervalVars": number; }

Result of constraint propagation (see propagate).

This object contains the result of constraint propagation: variable domains, duration of the propagation, number of variables etc.

The propagation can also recognize that the model is infeasible. In this case the property PropagationResult.domains is set to "infeasible". The propagation can also finish by a limit, in this case PropagationResult.domains is set to "limit".

Type declaration​

domains​

domains: "infeasible" | "limit" | ModelDomains

Variable domains after propagation (see ModelDomains). If the model is infeasible then this property is set to "infeasible". If the propagation was stopped because of a limit (in particular time limit) then this property is set to "limit".

duration​

duration: number

Duration of the propagation in seconds.

memoryUsed​

memoryUsed: number

The amount of memory used by solver for propagation. In bytes.

nbConstraints​

nbConstraints: number

Number of constraints in the input model.

nbIntervalVars​

nbIntervalVars: number

Number of interval variables in the input model.