in

OPL and IBM® ILOG® Script keyword to express membershipp.

Purpose

OPL and IBM ILOG Script keyword to express membership.

context
Model files (.mod)

Syntax

DecisionVarRange: "in" Expression


BinaryExpression: Expression "==" Expression
                | Expression "!=" Expression
                | Expression "<=" Expression
                | Expression "<" Expression
                | Expression ">=" Expression
                | Expression ">" Expression
                | Expression "+" Expression
                | Expression "-" Expression
                | Expression "*" Expression
                | Expression "/" Expression
                | Expression "%" Expression
                | Expression "in" Expression
                | Expression "not in" Expression
                | Expression "inter" Expression
                | Expression "union" Expression
                | Expression "diff" Expression
                | Expression "symdiff" Expression
                | Expression "^" Expression
                | Expression "&&" Expression
                | Expression "||" Expression


Qualifier: SimpleQualifier
         | "ordered" Locations "in" Expression Filter_opt
         | Locations "in" Expression Filter_opt

SimpleQualifier: Pattern "in" Expression Filter_opt

Description

OPL supports the relations e in S and e not in S, where e has type T and S has type setOf(T), to check membership and nonmembership in a set. This keyword supports ranges.

Example

{int} s={1,2};
range h=1..2;

int a;
execute
{
 a=1;
}

int v=(a in s);

execute
{
 v;
}
int v2=(a in h);

execute
{
 
 v2;
}