This function returns a constraint that ensures that state function f is defined everywhere on the interval [start,end) and remains constant over this interval.

Generally speaking, the optional Boolean values startAlign and endAlign allow synchronizing start and end with the intervals of the state function:

• When startAlign is true, it means that start must be the start of an interval of the state function.
• When endAlign is true, it means that end must be the end of an interval of the state function.

Note: This constraint cannot be used in a logical constraint.

For more information on state functions, see the concept State functions in CP Optimizer.

This function returns a constraint that ensures that whenever interval variable a is present, state function f is defined everywhere between the start and the end of interval variable a and remains constant over this interval.

Generally speaking, the optional Boolean values startAlign and endAlign allow synchronization of the start and end of interval variable a with the intervals of the state function:

• When startAlign is true, it means that whenever interval variable a is present, the start of a must be the start of an interval of the state function.
• When endAlign is true, it means that whenever interval variable a is present, the end of a must be the end of an interval of the state function.

Note: This constraint cannot be used in a logical constraint.

For more information on state functions, see the concept State functions in CP Optimizer.