ILOG OPL Development Studio Language Reference Manual

in state s. If algn e is true, it means that interval a is end-aligned with f: Interval a must endat the end of the interval where f is maintained in state s. More formally:♦The constraint alwaysConstant(f, a, algn s , algn e ) specifies that whenever a is present, statefunction f must be defined everywhere between the start and the end of interval a and beconstant over this interval. More formally:♦The constraint alwaysNoState(f, a) specifies that whenever a is present, state function fcannot provide any valid state between the start and the end of interval a. As a consequence,any interval constrained with alwaysEqual or alwaysConstant on this function and thusrequiring the function to be defined cannot overlap interval a. Formally:♦The constraint alwaysIn(f, a, v min , v max ) specifies that whenever a is present, everywherebetween the start and the end of interval a the state of function f, if defined, must belongto the range [v min , v max ]. Formally:Syntax and examplesFor the syntax and examples of use of a state function see stateFunction. Another examplefeaturing a transition and the alwaysEqual constraint is shown below.The following list includes the constraints available on a state function. A full description andexample for each syntax is available in the OPL Language Quick Reference.♦alwaysEqual(f,s,e,v[,aligns,aligne]);♦alwaysEqual(f,a,v[,aligns,aligne]);♦alwaysConstant(f,s,e,[,aligns,aligne]);♦alwaysConstant(f,a,[,aligns,aligne]);♦alwaysNoState(f,s,e);♦alwaysNoState(f,a);♦alwaysIn(f,u,v,hmin,hmax);I L O G O P L D E V E L O P M E N T S T U D I O L A N G U A G ER E F E R E N C E M A N U A L169