This may be a stupid question but I am working on an algorithm which calculates intervals for variables in some given constraints. For example there is a function called propagateValues and its description is

`Propagate value ranges for the given constraints`

What exactly is meant by value propagation ?

The algorithm I am working is basically trying to simplify sets of constraints by doing a range/interval analysis before querying the solver for a feasible solution (to make solving constraint sets more efficient)

I am working on an algorithm which calculates intervals for variables in some given constraints. For example there is a function called propagateValues and its description is

Propagate value ranges for the given constraints

What exactly is meant by value propagation ?

The algorithm I am working is basically trying to simplify sets of constraints by doing a range/interval analysis before querying the solver for a feasible solution (to make solving constraint sets more efficient)

This may be a stupid question but I am working on an algorithm which calculates intervals for variables in some given constraints. For example there is a function called propagateValues and its description is

`Propagate value ranges for the given constraints`

What exactly is meant by value propagation ?

This may be a stupid question but I am working on an algorithm which calculates intervals for variables in some given constraints. For example there is a function called propagateValues and its description is

`Propagate value ranges for the given constraints`

What exactly is meant by value propagation ?

The algorithm I am working is basically trying to simplify sets of constraints by doing a range/interval analysis before querying the solver for a feasible solution (to make solving constraint sets more efficient)