Lang.Common Class

Namespace: Lang

Represents the common types in Polyspace Query Language

Since R2026a

Description

This class defines common types and their associated predicates

Predicates

Type

Type	Raisable	Printable
`Int` — Alias for `int`	No	Yes
`Unsigned` — Alias for `unsigned int`	No	Yes

Syntaxes

This class defines these predicates that act on the objects of this class.

Predicates	Description
`createInt(Lang.Int value, required Lang.Int &var)`	Creates a new integer variable `var` and binds it to `value`.
`absoluteDifference(Lang.Int value1, Lang.Int value2, required Lang.Int &absDiff)`	Computes `abs(value1 - value2)` and binds the result to `absDiff`.
`add(Lang.Int value1, Lang.Int value2, required Lang.Int &sum)`	Returns `sum` as `value1 + value2`.
`subtract(Lang.Int value1, Lang.Int value2, required Lang.Int &diff)`	Returns `diff` as `value1 - value2`.
`multiply(Lang.Int value1, Lang.Int value2, required Lang.Int &product)`	Return `product` as `value1 * value2`.
`divide(Lang.Int value1, Lang.Int value2, required Lang.Int &quotient)`	Returns `quotient` as `value1 / value2` (integer division).
`modulo(Lang.Int value1, Lang.Int value2, required Lang.Int &remainder)`	Returns `remainder` as `value1 % value2`.
`negate(Lang.Int value, required Lang.Int &negated)`	Negates `value` and returns the result as `negated`.
`min(Lang.Int value1, Lang.Int value2, required Lang.Int &result)`	Returns `result` as the minimum of `value1` and `value2`.
`max(Lang.Int value1, Lang.Int value2, required Lang.Int &result)`	Returns `result` as the maximum of `value1` and `value2`.
`toString(Lang.Int value, required Lang.String &s)`	Converts `value` to a string and returns it as `s`.
`toInt(Lang.Unsigned in, required Lang.Int &out)`	Converts an unsigned integer `in` into an integer and returns it as `out`.

Version History

Introduced in R2026a