Returns a string representation of this VariableInstance object.
The format is as follows:
where name
is the string returned by the VariableInstance::name() method and attrs
represent attributes similar to those used in variable declarations.
If the lower bound (lb
) is equal to the upper bound (ub
), the attributes contain = lb
.
If the lower bound is not equal to the upper bound and Double.NEGATIVE_INFINITY
, the attributes contain >= lb
.
If the upper bound is not equal to the lower bound and Double.POSITIVE_INFINITY
, the attributes contain <= ub
.
If the variable is integer, the attributes contain integer
.
If the variable is binary, the attributes contain binary
.