alwaysEqual

OPL constraint (scheduling) used on a state function

Purpose

OPL constraint (scheduling) used on a state function

context	type
Model files (.mod)	boolean (1 if the constraint is true, 0 otherwise)

Syntax

alwaysEqual (f,s,e,v[,aligns,aligne]);
alwaysEqual (f,a,v[,aligns,aligne]);


Where:

int s;
int e;              // s <= e
int v;              // 0 <= v
stateFunction f;
dvar interval a;
int aligns;
int aligne;

Description

This constraint specifies that the state function f must be defined, constant and equal to non-negative value v everywhere on the interval [s, e) or between the start and end of interval a, if the interval is present.

If aligns = 1, it means that interval a is start-aligned with state function f; interval a must start at the beginning of the interval where f is maintained. If aligne = 1, it means that interval a is end-aligned with f; interval a must end at the end of the interval where f is maintained.

Note: This constraint cannot be used in a meta-constraint.