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;
}