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 | Raisable | Printable |
|---|---|---|
Int — Alias for int | No | Yes |
Unsigned — Alias for unsigned int
| No | Yes |
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 "ient) | 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
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Seleccione un país/idioma
Seleccione un país/idioma para obtener contenido traducido, si está disponible, y ver eventos y ofertas de productos y servicios locales. Según su ubicación geográfica, recomendamos que seleccione: .
También puede seleccionar uno de estos países/idiomas:
Cómo obtener el mejor rendimiento
Seleccione China (en idioma chino o inglés) para obtener el mejor rendimiento. Los sitios web de otros países no están optimizados para ser accedidos desde su ubicación geográfica.
América
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)