Skip to main content
OverviewGroupTreeGraphDeprecatedIndexConcepts
FRAMES NO FRAMES

IloAlwaysNoState

public IloConstraint IloAlwaysNoState(const IloEnv env, const IloStateFunction f, IloInt start, IloInt end)
Definition file: ilconcert/ilosmodel.h
Creates a constraint that ensures the state is undefined on an interval.

This function returns a constraint that ensures that state function f is undefined everywhere on the interval of integers [start,end). This constraint will ensure, in particular, that no interval variable that requires the function to be defined (see IloAlwaysEqual, IloAlwaysConstant) can overlap the interval [start,end).

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

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

IloAlwaysNoState

public IloConstraint IloAlwaysNoState(const IloEnv env, const IloStateFunction f, const IloIntervalVar a)
Definition file: ilconcert/ilosmodel.h
Creates a constraint that ensures the state is undefined on an interval.

This function returns a constraint that ensures that whenever interval variable a is present, state function f is undefined everywhere between the start and the end of interval variable a. This constraint will ensure, in particular, that no interval variable that requires the function to be defined (see IloAlwaysEqual, IloAlwaysConstant) can overlap interval variable a.

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