Algebraïc Properties

Algebraïc properties are binary properties that can be posted between two expressions. Expressions can be numerical, boolean or both.

Equations

<expr1> = <expr2>

Inequalities

<expr1> >= <expr2>
<expr1> <= <expr2>
<expr1> > <expr2>
<expr1> < <expr2>

Difference

<expr1> <> <expr2>

Example

Problem AlgPptPb
Constants
a : Real = 10.0;
b : Integer = 30;

Variables
s : Boolean;
u : Boolean;
v : Boolean;
w : Real;
x : Real in {1.5, 3.2, 6.7};
y : Integer;
z : Integer in {-1, 0, 10, 50};

Elements

Properties

u and v <= s or not(v);

x*cos(y) = ln(z^2) + (u and s);

y^2 + 1 <> z^3;

End