alwaysNoState
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
alwaysNoState (f,s,e); alwaysNoState (f,a); Where: int s; int e; stateFunction f; dvar interval a;
Description
This constraint states that state function f cannot provide any valid state between the start s and the end e, or between the start and end of interval a, if present. As a consequence, any interval constrained with alwaysEqual or alwaysConstant on this function, and thus requiring the function to be defined, cannot overlap interval a.
Note: This constraint cannot be used in a meta-constraint.