Parametric Constraint Expression Language - Operators

Operators

Multiplicative (left‑to‑right)

• * Multiplication
• / Division

Additive (left‑to‑right)

• + Addition
• - Subtraction
• Unary plus: + expr
• Unary minus: - expr

Relational (left‑to‑right)

• < Greater than
• <= Greater than or equal
• > Less than
• >= Less than or equal
• == Equality
• <> Inequality

Unary negation

• not expr

Logical operators

• and Logical AND
• or Logical OR

Conditional

• if expr then expr { elseif expr then expr } else expr

Note: MATLAB Symbolic Math Toolbox does not support these conditional expressions.

Parentheses

• (
• )

Modify the default evaluation order.

Equation

· =

Note: Equations are solved by the PCE engine. Logical expressions (including =) are evaluated using the solver’s results and may appear inside conditional operators like if expr1 then expr2 else expr3.

Exponentiation

Operator: ^ (non‑associative)

Raises a base value to a given power (exponent).

This operator is non-associative, that is unlike addition or multiplication, you cannot chain exponentiations without parentheses, for example:

a ^ b ^ c

is ambiguous and therefore not allowed. You must parenthesize explicitly. For example, in the above expression you must choose one of two groupings:

(a ^ b) ^ c

First compute a ^ b (base raised to b), then raise that entire result to c.

a ^ (b ^ c)

First compute b ^ c (b raised to c), then raise a to that resulting power.