false

OPL keyword for false constraints

Purpose

OPL keyword for false constraints.

Also a keyword in IBM ILOG Script; see IBM ILOG Script Booleans in the Language Reference Manual.

context
Model files (.mod)

Syntax

LiteralExpression: "(integer-literal)"
                  | "(float-literal)"
                  | "(boolean-literal)"
                  | "(string-literal)"
                  | "infinity"
                  | "maxint"

Description

A shortcut for a constraint that is always false.

Example

int weWantTheModelToBeInfeasible=1;

dvar int x in 0..20;

maximize x;

subject to {
 ct: 
   if (weWantTheModelToBeInfeasible==1) false;
   else x<=10;
}